A very helpful post over at the Linux Mint forums shows how to remove the default gnome 3 activities menu when using the new mgse mint menu.
I’m posting this here as a reference for myself and others as this is something you will need to do often. The mgse are updated often and will overwrite your changes. Credit goes to esteban1uy @ linux mint forums.
Open a terminal
|
1 |
sudo gedit /usr/share/gnome-shell/extensions/menu@linuxmint.com/extension.js |
In gedit, scroll down to line 827 and you will find this:
|
1 2 |
Main.panel._rightBox.insert_actor(activitiesButton.actor, Main.panel._rightBox.get_children().length);
activitiesButton._label.set_text("-"); |
Comment these lines out by changing it to this:
|
1 2 |
// Main.panel._rightBox.insert_actor(activitiesButton.actor, Main.panel._rightBox.get_children().length);
// activitiesButton._label.set_text("-"); |
Save, restart Gnome-shell (Alt+F2 r)
Thanks! this also worked for me in Ubuntu 11.10.
Spoke too soon. It still does what it claims to do, but it also removes the “hot corner” over on the left side, which I wanted to keep. The other application menu extension lets me keep the hot corner but makes the activities button open the application menu instead of going to the overlay, but I like the Mint one better overall.