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