修改gnome-shell扩展“Applications Menu”的菜单区域宽度。
Posted 玛瑙河的
tags:
篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了修改gnome-shell扩展“Applications Menu”的菜单区域宽度。相关的知识,希望对你有一定的参考价值。
sudo打开 /usr/share/gnome-shell/extensions/[email protected]/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”的菜单区域宽度。的主要内容,如果未能解决你的问题,请参考以下文章