Quick access menu for the GNOME panel with options that help ease the workflow for newcomers and power users alike.
GNU General Public License v2.0
56
stars
30
forks
source link
Open Extension Manager when Gnome Extensions app not exists #74
Closed
XingLiAl closed 5 months ago
Extension Manager(https://github.com/mjakeman/extension-manager) now is a super set of Gnome Extension app. Hope for supporting open it when click "Extension" item in Logo menu.