web-dev-qa-db-fra.com

Augmentez l'espacement entre lanceur et applet sur le panneau Gnome Classic

J'utilise Ubuntu 12.04.1 avec Gnome Classic. J'ai ajouté quelques lanceurs sur le panneau du haut, mais ils sont trop serrés (regardez aussi les séparateurs, ils ne sont pas vraiment séparés):

My Gnome Panel image

Puis-je augmenter l'espacement entre les lanceurs?

Autant que je sache, cela peut être fait en modifiant ~/.config/gtk-3.0/gtk.css. J'ai réussi à basculer les paramètres de police en gras pour le panneau de cette façon. Mais je n'ai pas trouvé quel paramètre a une influence sur le lanceur et l'espacement des applets.

De plus, la taille des icônes me semble trop grande - elles occupent toute la place du haut vers le bas du panneau, sans aucune bordure. Ils étaient plus petits quand j'utilisais 10.04. Est-il possible de réduire leur taille aussi?

customizationgnome-panelgnome-classic
6
whtyger

J'ai enfin réussi à résoudre le problème d'espacement et prêt à partager ma solution. Ajoutez à ~/.config/gtk-3.0/gtk.css les lignes suivantes:

.gnome-panel-menu-bar.menubar .menuitem,
PanelWidget .button {
    padding: 0px 4px;
}

La première ligne affecte l'espacement des en-têtes de menu (Applications et Lieux), la seconde affecte l'espacement des lanceurs. Voici le résultat:

Fixed panel

Vous pouvez augmenter encore l'espacement en changeant le deuxième paramètre de remplissage (6 pixels le rendront même avec l'espacement des icônes de l'applet d'indicateur dans le coin supérieur droit), mais je suis plutôt content de 4 pixels. N'oubliez pas que l'augmentation de la valeur de remplissage rend également les boutons de tâche du panneau inférieur plus larges, car ils sont également des widgets de panneau. Ou vous pouvez définir l'espacement séparément pour les en-têtes de menu et les lanceurs - c'est vous qui décidez:

.gnome-panel-menu-bar.menubar .menuitem {
    padding: 0px 4px;
}

PanelWidget .button {
    padding: 0px 3px;
}

Mise à jour: Enfin trouvé le moyen d'augmenter le remplissage des séparateurs de panneaux. Ajoutez à ~/.config/gtk-3.0/gtk.css plusieurs autres lignes:

PanelSeparator {
    padding: 4px 8px;
}

Le premier paramètre de remplissage réduira la longueur des séparateurs, le second déterminera l'espacement des deux côtés du séparateur. Voici le résultat final:

Fixed panel

5
whtyger