Ich versuche, die Desktopoberfläche in Linux Mint 12 mit Gnome 3 zu personalisieren. Ich habe einfach das untere Bedienfeld deaktiviert und die Schriftart im oberen Bedienfeld geändert. Wie ändere ich die Symbolgröße und -auffüllung im oberen Bedienfeld?
Das Ändern der PANEL_ICON_SIZEEinstellung /usr/share/gnome-shell/js/ui/panel.jsführt dazu, dass das System einfriert und das obere Bedienfeld verschwindet.