Ce qui me fait du bien sous Linux, c'est la personnalisation . J'ai récemment testé quelques grands thèmes pour Gnome Shell. Ils sont vraiment super, mais parfois je n'aime pas une partie d'entre eux. J'ai regardé dans les fichiers et j'ai découvert que les thèmes étaient basés sur CSS . Je connais CSS, mais je ne sais pas quelles classes ou ID se réfèrent à quelles parties de l'écran.
Existe-t-il une référence ou un guide pour le thème de Gnome Shell? (pas GTK3)
C'est une sorte de vieille question, de toute façon il y a un nouvel outil d'inspection GUI GTK ajouté avec GTK v3.14.
GtkInspector est le support de débogage interactif intégré dans GTK +. Il a été ajouté dans GTK + 3.14, basé sur une copie du gtkparasite bien établi.
Pour activer le débogueur, démarrez votre application avec
GTK_DEBUG=interactivedans votre environnement ou exécutezgsettings set org.gtk.Settings.Debug enable-inspector-keybinding trueet lancez le débogueur avec les raccourcis clavier ControlShiftIou ControlShiftD.
Source: Projets Gnome: GtkInspector
Il est plus pratique de connaître directement le shell de l'interface graphique d'exécution que le code suivant, car de nombreuses applications utilisent des blocs pour construire dynamiquement l'interface graphique.
Je n'avais pas besoin d'utiliser le raccourci en cours d'exécution, par exemple, GTK_DEBUG=interactive geditfait apparaître GTK Inspector.
même si je n'ai pas réussi jusqu'à présent à trouver un type de triche pour les thèmes de gnome 3.4, les messages sur le blog de fp.murphy où Lucas Romero a déjà lié semblent contenir beaucoup d'informations très utiles concernant gnome 3.x et ses personnalisation.
quelques notions de base qui valent la peine d'être lues avant le post fourni par Lucas peuvent être trouvées dans un post plus récent qui donne quelques exemples simples et un aperçu général.
si plus spécifiquement axé sur les extensions de shell gnome, j'ai trouvé la série de jusqu'à 4 articles tous écrits en septembre 2012 sur mathématiquecoffee très utile. depuis gnome 3.4 a apporté de nombreuses modifications api, il est important de se pencher sur les informations récentes concernant la personnalisation de gnome.