Как я могу изменить размер пункта меню Приложения в Gnome?

Question

Я использую Kali Linux, и в верхнем левом углу моего экрана есть меню приложений, с такими элементами:

01 - Info...
02 - Vul...
03 - We...

Как я могу увеличить меню, чтобы все имена папок соответствовали?

Я нашел файл, содержащий все пункты меню (/etc/xdg/menus/applications-merged/kali-applications.menu), но, похоже, нет способа отредактировать ширину или, желательно, сделать ее автоматически подгоночной.

Answer 1

На вопрос ответил Unix Stackexchange. Это был ответ:

редактировать:

'/usr/share/gnome-shell/extensions/apps-menu@gnome-shell-extensions.gcampax.github.com/extension.js'

и заменить:

this.categoriesBox.box.width = 300;

от:

this.mainBox.box.width = 950;
this.categoriesBox.box.width = 500;