J'ai cherché plusieurs heures, mais je n'ai pas encore trouvé de réponse:
modification de la taille du menu du panneau gnome (le menu Applications fourni par les applets Menu principal et barre de menus, c’est-à-dire.) dans Gnome Fallback Mode/Classic Panel (qui est un fork GFBM)
dans gnome classique, je peux changer la taille de l'icône (et donc la dimension de tout le menu, c'est ce que je suis après) via ces entrées dans .gtkrc
gtk-icon-values = "gtk-menu = 16,16: gtk-button = 16,16: gtk-dnd = 16,16: panneau-menu = 16,16: panneau = 16,16: gtk-dialogue = 16 , 16: gtk-small-toolbar = 16,16: "
maintenant, j'ai regardé l'entrée gtk-icon-tailles dans la documentation de gnome3/gtk3, et panel-menu = 16,16: panel = 16,16 semblent manquer dans la version 3. les mettre dans ~/.config/gtk-3.0 /settings.ini n'a donc pas aidé non plus.
J'ai compris que les paramètres de style pour le mode de secours sont dans /apps/gnome-panel.css, mais je n'ai rien vu de ré-dimensionné, juste de la couleur.
quelqu'un sait-il comment y parvenir?
merci d'avance
Selon votre commentaire:
[Settings]
gtk-icon-sizes = panel-menu-bar=16,16:panel-menu=16,16