Lorsque aucune application n'est en cours d'exécution ou que je suis dans l'écran des activités du shell GNOME, la barre d'activités mesure peut-être 20 pixels de haut. Lorsque j'exécute une application, celle-ci s'étend à 70 pixels, éventuellement pour s'adapter à l'icône d'application 64 × 64 qu'elle utilise pour l'application. Puis-je rendre cette barre plus petite tout le temps ?
Réponse acceptée :
Vous devez modifier le CSS du thème du shell gnome. Le fichier CSS par défaut du shell gnome est conservé dans /usr/share/gnome-shell/theme/ – assurez-vous que pour modifier le fichier, vous avez "root" privilèges, puis modifiez "gnome-shell.css" .
Le style du panneau (ou barre d'activités) est à #panel (il suffit de faire une recherche) - l'expansion du panneau est probablement due aux effets de font-size &hauteur