Default to gnome-extensions-app and fallback to extensions.gnome.org

tuberry / extension-list

Simple GNOME Shell extension manager in the top panel.

GNU General Public License v3.0

57 stars 8 forks source link

Default to gnome-extensions-app and fallback to extensions.gnome.org #19

Closed hackerb9 closed 1 year ago

hackerb9 commented 1 year ago

Please consider changing the behaviour of clicking on the Extension icon on the toolbar to run gnome-extensions-app and only launch a browser to visit extensions.gnome.org if the app is not found. Thanks, again!

tuberry commented 1 year ago

I think extensions.gnome.org is more feature-rich than gnome-extensions-app. Shouldn't it be the preferred option?