extension-manager
extension-manager copied to clipboard
mjakeman
A utility for browsing and installing GNOME Shell Extensions.
We've been getting a lot of translations lately, which is fantastic. It would be good to: - Create a guide for contributing to localising extension-manager - Decide on a policy...
This is a proof-of-concept prototype for filtering out unsupported extensions. It currently hardcodes the shell version to GNOME 42 - we'll want to obtain this at runtime from the user's...
Allows viewing the full search results. Pressing 'Load More Results' will load an additional +10 results until no more results are available. This is a very rough implementation which needs...
The headerbar does not seem to match its vertical height, with any other apps on my system. Running gnome 42, with an assortment of GTK3, GTK4 and libadwaita apps. 
I think the theme switcher in the hamburger menu could be improved mimicking what other gnome apps like the text editor do. 
I'm using U 22.04 and a VPN app to go out . My system proxy is 127.0.0.1:. I have to use the app + system proxy pair for Internet. Every...
In a rather unfortunate turn of events, [extensions.gnome.org](https://extensions.gnome.org/) is down at the moment. This is a good opportunity to improve error reporting within the program. We should notify the user...
Hiding unsupported extension would make installing extension quicker and make the UI cleaner especially when your search query resulted in almost all unsupported extension.
If a lot of extensions contain a searched term, or if I'm just browsing through the most popular extensions, it would be nice to be able to load more results...
Hi, i'm using Ubuntu 22.04 (fresh install) with closed source Nvidia 510 drivers and Wayland session. Applications fails to open with the following error: `Gdk-Message: 23:33:06.474: Error 71 (Protocol error)...
