如何在Linux Mint12上更改GNOME3面板填充？
如何在Linux Mint12上更改GNOME3面板填充？
提问于 2012-03-30 21:02:29
我正在尝试个性化我的Linux Mint的12个图形(看起来像这里的http://www.muktware.com/articles/3020)。我刚刚关闭了屏幕底部的面板，并在上面的面板中更改了字体。如何更改上面板的图标大小/填充？在/usr/share/gnome-shell/js/ui/panel.js中修改PANEL_ICON_SIZE会导致系统冻结和上部面板消失。
谢谢。
回答 1
Stack Overflow用户
发布于 2012-05-31 22:52:18
以下是对我有效的方法：
在文本编辑器中打开/usr/share/themes/<themename>/gnome-shell/gnome-shell.css
查找.panel-button项，并根据需要更改-natural-hpadding和/或-minimum-hpadding值。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/9943531
复制相关文章
相似问题
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号