[Desktop-packages] [Bug 1769409] Re: Support for global menu

2019-02-01 Thread Lester Carballo Pérez
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 : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1769409] Re: Support for global menu

2019-01-31 Thread Christophe Boschmans
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


[Desktop-packages] [Bug 1769409] Re: Support for global menu

2018-05-07 Thread Lester Carballo Pérez
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 : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1769409] Re: Support for global menu

2018-05-06 Thread Daniel van Vugt
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
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