Global menu and HUD for Gnome This extension requires the installation of an external program. Please, check the instructions on Github. This extension works on gnome 40 but the preferences doesn’t work, if you want you can install it manually modifing the version supported on metadata.
Note: Binary files aren't shown on the web site. To see all files, please download the extension zipfile.
Version | Status |
---|---|
1 | Rejected |
1. The uuid is short. Pick longer uuid. 2. Some characters are not readable with the current file unicode. 3. `log()` function is running in debug mode. 4. It doesn't work in GNOME Shell 40 while it has "40.0" in metadata.json. You cannot add "40.0" and say the extension doesn't support 40 in the description. You can read the GNOME Shell 40 port guide if you want to know how to port your extension to GNOME Shell 40: https://gjs.guide/extensions/upgrading/gnome-shell-40.html