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://extensions.gnome.org/extension/1250/gnome-global-application-
menu/extension not available working on 18.10 gnome 3.30, even not
supported any more in future versions of gnome
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to
Dimitrij Mijoski you are already welcome.
Daniel van Vugt, you are also welcome. There are bugs like this:
https://bugs.launchpad.net/ubuntu/+source/jayatana/+bug/1769689 where is
easy to be fixed and will really improve the user perception about the
global menu. See a video of the difference:
We're aiming to make as much as possible unchanged from upstream. So for
now I suggest you work with the extension authors to add any features
you need.
** Changed in: gnome-shell (Ubuntu)
Status: New => Won't Fix
--
You received this bug notification because you are a member of Desktop
4 matches
Mail list logo
