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

GNOME-shell 扩展件(extensions)的安装方法

ubuntu18.04登录界面背景图的更换

中州韻输入法框架 ibus-rime 修改样式

gnome-shell和gnome有区别吗??

sh gnome-shell restarter

sh Deamon para reiniciar gnome-shell