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 Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1769409 Title: Support for global menu To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1769409/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
