linux - 如何在 Linux Mint 12 上更改 GNOME3 面板填充？

Question

我正在尝试个性化我的 Linux Mint 的 12 个图形（看起来像这里http://www.muktware.com/articles/3020）。我刚刚禁用了屏幕底部的面板并更改了上部面板中的字体。如何更改上面板的图标大小/填充？修改PANEL_ICON_SIZEin/usr/share/gnome-shell/js/ui/panel.js会导致系统冻结和上面板消失。

谢谢。

Answer 1

这对我有用：

/usr/share/themes/<themename>/gnome-shell/gnome-shell.css在文本编辑器中打开

查找 .panel-button 条目，并根据需要更改-natural-hpadding和/或-minimum-hpadding值。