标签:
sudo打开 /usr/share/gnome-shell/extensions/apps-menu@gnome-shell-extensions.gcampax.github.com/extension.js
找到_display: function() ,在函数体中分别找到以下两行,将数字修改为合适的大小即可。
this.mainBox.actor.style=(‘width: 35em;‘);
this.categoriesBox.box.width = 300;
建议修改为45em、400。
另外要修改图标大小,找到:
const APPLICATION_ICON_SIZE = 32;
将数字修改为合适大小即可,建议16。
save/logout/login,即可看到变化了。
修改gnome-shell扩展“Applications Menu”的菜单区域宽度。
标签:
原文地址:http://www.cnblogs.com/agateriver/p/5362073.html