Yes, I discontinued the develop of that extension with base on the repercussion of the Gnome/Gtk developers to drop the support for Gtk- Modules in newly Gtk releases started in GTK-4.0 and upper.
For convenience the direct link to the upstream desition is here: https://gitlab.gnome.org/GNOME/gtk/issues/1132 How also Ubuntu is part of Gnome, the desition of not support something is also his own responsibility now and in consequence something that Ubuntu will need to assume, not a third party like me or some one else externally. -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1769409 Title: Support for global menu Status in gnome-shell package in Ubuntu: Won't Fix Bug description: The move to Gnome from Unity was ok except for two major features that got lost and those are global menus and pixel saving when maximized. Are there any chances of official support in future releases? Gnome extension for global menus exists https://github.com/lestcape /Gnome-Global-AppMenu and that may be used as a starting point. The Ubuntu team already did similar move by including the plugin dash-to- dock. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1769409/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
