GNOME Bugzilla – Bug 763258
"Show Application Menu" option does opposite of what it is supposed to
Last modified: 2017-06-19 23:52:01 UTC
Created attachment 323306 [details] gnome-tweak-tool_Show_Application_Menu_Says_On.png In the gnome-tweak-tool in the "Top Bar" section there is an option to "Show Application Menu", however there is a slight issue with it, because as you will see when you first go to that section it is set as "ON" even though firstly it is clearly not on, and secondly shouldn't be on by default. I have found when switch it on and off that when the slider says it is "ON" in fact it is off: gnome-tweak-tool_Show_Application_Menup_Says_On.png And when the slider says it is "OFF" in fact it is on: gnome-tweak-tool_Show_Application_Menup_Says_Off.png There was already a downstream report of this issue here but as the reporter (even though it was suggested to them to do it) doesn't seem to have filed a report upstream on this issue as well I am doing so as I have now experienced the bug: https://bugs.launchpad.net/ubuntu/+source/gnome-tweak-tool/+bug/1266992 I experienced the issue in Ubuntu GNOME 14.04.4 LTS with GNOME 3.12.
Created attachment 323307 [details] gnome-tweak-tool_Show_Application_Menu_Says_Off.png
I fixed at least part of the issue reported here today. This fix will be in Tweak Tool 3.26. I expect there will be a development snapshot 3.25.3 in about 9 days. See the commit description for more details about what was fixed. https://git.gnome.org/browse/gnome-tweak-tool/commit/?id=5009c2f The second part of the issue is confusion about what this option does. It is an "Application Menu" on/off switch in the Top Bar page. When it's enabled, the Application Menu shows in the Top Bar. When it's disabled, it does not show in the Top Bar. This matches other switches in the Top Bar page. I'm open to suggestions about how to make this more clear. There have a been a lot of UI improvements to Tweak Tool after 3.24 so maybe it will be more clear now that the feature works as intended and the UI has been cleaned up.
I'm hesitant to push this change as a Stable Release Update because it might be considered a UI change. Maybe there are people who *liked* the previously broken behavior.
There's a minimal description and a screenshot in today's release announcement: https://jeremy.bicha.net/2017/06/19/gnome-tweak-tool-3-25-3/