[Bug 1890049] Re: global menu bar no longer supported after 20.04 upgrade

2020-08-05 Thread Olivier Tilloy
Although the absence of a global menubar in GNOME by default did influence this particular decision, the main factor was the increasing difficulty to maintain the firefox patch that enabled the feature. The patch was quite large (several thousands LOC) and heavily relied on internal APIs that have

[Bug 1890049] Re: global menu bar no longer supported after 20.04 upgrade

2020-08-04 Thread vexorian
I don't understand, it's not like Unity was the only DE environment with a global menu bar. This looks like another case of Gnome dragging everyone else's UX down with them. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu.

[Bug 1890049] Re: global menu bar no longer supported after 20.04 upgrade

2020-08-03 Thread Olivier Tilloy
While we appreciate this is effectively a functional regression, it is intended. Exposing firefox's menus to the global menu bar involved a non-trivial distro patch that was increasingly difficult to maintain (because it relied on many internal APIs), so it was dropped before 20.04 (see