Extension Manager 0.7 released with new (and fixed) features

A new version of Extension Manager, the desktop app that makes it easier to browse, install and manage GNOME Shell extension without a web browser, has been released. Extension Manager 0.7.0 includes a number of welcome improvements, new features and restores a few nifty bits that had stopped working in earlier versions. With the new update, you can now find and open installed extension preferences from the Activities overview as the app now bundles a GNOME Search provider. Enable that…

Quelle: Originalartikel öffnen