G-dH/extensions-search-provider
A GNOME Shell extension that gives you access to extensions settings through overview search
JavaScriptGPL-3.0
A GNOME Shell extension that gives you access to extensions settings through overview search
JavaScriptGPL-3.0