Here is an interesting thing that I discovered about the mgse menu:
You can edit the picture and text by opening a terminal and typing
Code: Select all
sudo gedit /usr/share/gnome-shell/extensions/menu@linuxmint.com/extenion.js
Then change
Code: Select all
let icon_file = icon_path + "menu.png";
on line 264 to
Code: Select all
let icon_file = icon_path + "menu.svg";
to get the linux mint logo and change
on line 279 to
to get rid of the text (you can insert any text you want int the quotation marks)
Finally, I would suggest copying the extension before you modify it and then renaming it in the metadata.json file from
Code: Select all
{
"uuid": "menu@linuxmint.com",
"name": "Menu",
"description": "An advanced Gnome Shell Menu",
"shell-version": [ "3.2" ],
"localedir": "/usr/local/share/locale",
"url": "http://github.com/linuxmint/mgse-menu"
}
to (for my example)
Code: Select all
{
"uuid": "menuimproved@linuxmint.com",
"name": "Menu Improved",
"description": "An advanced Gnome Shell Menu",
"shell-version": [ "3.2" ],
"localedir": "/usr/local/share/locale",
"url": "http://github.com/linuxmint/mgse-menu"
}
Enable menu improved in gnome-tweak tool and it comes up like this:
Dell XPS 15 l502x - Debian Testing 64-bit NetInst Xfce, SolydX 64-bit Debian Testing, SolydK 64-bit SolydXK Testing
Old Gateway Pentium 4 Desktop - Arch Linux 64-bit Xfce and SolydX 32-bit Sid
