web-dev-qa-db-fra.com

Comment réduire la taille du menu contextuel dans Gnome?

Comme indiqué dans l'image suivante, après avoir cliqué sur le menu contextuel de Gnome Dock, le menu suivant s'affiche.

Peut-on réduire la taille entre les options? Cette zone de marque rouge peut-on réduire?

Gnome 3.20 Dash to Dock context menu

4
snoop

Je ne sais pas si/comment cela peut être corrigé pour le thème par défaut. Toutefois, si vous utilisez un thème Shell personnalisé, vous pouvez procéder comme suit:

Ouvrez la feuille de style gnome-Shell.css de votre thème (par exemple, n'importe quel thème Gtk contenant un thème GNOME Shell):

Sudo -H gedit /usr/share/themes/<your-theme>/gnome-Shell/gnome-Shell.css

Recherchez l'élément .popup-menu-ornament et modifiez la height pour réduire l'espacement.

Les popup-menu-ornament 'sont les cases jaunes de cette capture d'écran:

De cette façon, j'ai pu réduire l'espacement pour le thème Flat Plat compact que j'utilise.

REMARQUE: Il existe peut-être de meilleures façons de procéder, ce qui pourrait même ne pas fonctionner pour tous les thèmes. Les commentaires sont appréciés.

2
Tim Süberkrüb