我正在尝试个性化我的Linux Mint的12个图形（看起来像http://www.muktware.com/articles/3020）。我刚刚在屏幕底部禁用了面板，并在上面板中更改了字体。如何更改上面板的图标大小/填充？修改PANEL_ICON_SIZE中的/usr/share/gnome-shell/js/ui/panel.js会导致系统冻结和上方面板消失。
感谢。
答案 0 :(得分：1)
这对我有用：
在文本编辑器中打开/usr/share/themes/<themename>/gnome-shell/gnome-shell.css
查找.panel按钮条目，并根据需要更改-natural-hpadding和/或-minimum-hpadding值。