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: https://www.youtube.com/watch?v=rIIMLlAeXTw
-- 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
