gnome-shell-extension-extensions
gnome-shell-extension-extensions copied to clipboard
petres
gnome shell extension to enable/disable extension easily via a panel menu
A nice feature to have would be to be able to select the extensions to be shown. There are many extensions that I never toggle, so there's no need to...
By adding a scroll bar and limiting the height of the pop-up could solve this issue.
I have upgraded to Ubuntu 21.10. Then I got a message that there was an extensions update. I clicked in the message, and a dialog appeared, in which your extension...
On Gnome Shell `3.32.2` with extension version `41`, I could get listed error logs. Potentially this issue is linked to #26 **Unfortunatelly I could not find version 41 in this...
I know the Ubuntu release with Gnome 3.38 is brand new but hope that this extension will support it asap! Cheers
Hi, When I go to Extensions options, and ticks / unticks the "show "Add..." option, it does nothing, or I don't know where this option is added exactly..! I guess...
I don't want to have that many icons in my top bar, so I choose to put it in "Menu". But then the text is truncated too early, and the...
Adding and configuring it to be shown either panel or menu does not do anything. ``` Distributor ID: Ubuntu Description: Ubuntu 19.10 Release: 19.10 Codename: eoan GNOME Shell 3.34.3 ```
Every time I visit the [extensions site](https://extensions.gnome.org/extension/1036/extensions/) it shows that the extension can be updated, so I update. When I refresh that page, it shows that the extension can still...
Feature: A button, maybe at the bottom of the extension list, that when clicked opens 'Tweaks'(gnome-tweaks) . Ideally it should directly open the 'Extensions' tab of it. My Use-case: The...
