![]()
Extension Manager, the popular app for installing and managing GNOME Shell extensions, released new 0.7.0 version a few days ago.
The new version of this graphical application adds batch operation support for user installed extensions.
By clicking on the new “check mark in a circle icon”, you can select multiple installed extensions and remove them at once.








