Just a tweak to reduce menu icon size with apps-menu extension.
Code:
gksudo gedit /usr/share/gnome-shell/extensions/apps-menu@gnome-shell-extensions.gnome.org/extension.js
Find and change this:
Code:
const ICON_SIZE = 28;
To something smaller, like 20 or 16.
Code:
const ICON_SIZE = 16;
------------------------------------
Anyway, I'm hoping that someday someone will make a globalmenu extension for gnome-shell like the one in Gnome 2. A more functional bottom panel and movable notification area extensions will be great as well...
Bookmarks