如何更改 Linux Mint 12 上 Gnome 3 上部面板中的圖示大小和填滿？

Question

我正在嘗試個性化運行 Gnome 3 的 Linux Mint 12 中的桌面介面。如何更改上部面板的圖示大小和填滿？

修改PANEL_ICON_SIZE設定/usr/share/gnome-shell/js/ui/panel.js會導致系統凍結並且上部面板消失。