修改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”的菜单区域宽度。的主要内容，如果未能解决你的问题，请参考以下文章