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,即可看到变化了。
时间: 2024-10-12 23:49:57