julio.alvarez
August 22nd, 2018, 02:44 AM
Hello There!
I recently added a Gnome-Shell-Extension on my Ubuntu 18.04 that allows me, from a menu in the top panel, to easily enable and disable all the others Gnome-Shell-Extension I previously had installed. Here is the extension: https://extensions.gnome.org/extension/1036/extensions/
As I don't like to have many icons in the top bar, this extension suits perfect for me because through it I enable other extension that I use a lot and I can have them all in just one icon in the top bar.
The problem is that I have many extensions installed and when I open the panel of this extension I got tons of other extension and looking for the one that I want in that particular moment is not efficient.
Is there a way I could edit this extension panel so it just shows the extensions I use the most???
I would very much appreciate if somebody could help me.
Thanks in advance
Julio
I recently added a Gnome-Shell-Extension on my Ubuntu 18.04 that allows me, from a menu in the top panel, to easily enable and disable all the others Gnome-Shell-Extension I previously had installed. Here is the extension: https://extensions.gnome.org/extension/1036/extensions/
As I don't like to have many icons in the top bar, this extension suits perfect for me because through it I enable other extension that I use a lot and I can have them all in just one icon in the top bar.
The problem is that I have many extensions installed and when I open the panel of this extension I got tons of other extension and looking for the one that I want in that particular moment is not efficient.
Is there a way I could edit this extension panel so it just shows the extensions I use the most???
I would very much appreciate if somebody could help me.
Thanks in advance
Julio