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 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 : desktop-packages@lists.launchpad.net Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
