search

tuberry / extension-list

Simple GNOME Shell extension manager in the top panel.
GNU General Public License v3.0
54 stars 9 forks source link

[Feature request] option to hide/unhide disabled extensions.. #1

Closed dasnoopy closed 4 years ago

dasnoopy commented 4 years ago

as per title ... should be nice if the option will be accessible from popover...

thanks Andrea

tuberry commented 4 years ago

Supported in latest commit.