Gnome 3を実行しているLinux Mint 12でデスクトップインターフェースをパーソナライズしようとしています。下部パネルを無効にし、上部パネルのフォントを変更しました。トップパネルのアイコンサイズとパディングを変更するには？
PANEL_ICON_SIZE設定を変更すると/usr/share/gnome-shell/js/ui/panel.jsシステムが停止し、トップパネルが消えます。
Linux Mint 12のGnome 3トップパネルでアイコンのサイズとパディングを変更するには？