Bug#799102: gnome-tweak-tool: "Show Application Menu" On-Off button inverted

[Andreas Henriksson]

Control: tags -1 + upstream confirmed

Hello nick pontillo.

Thanks for your bug report.

On Tue, Sep 15, 2015 at 10:13:46PM +0100, nick pontillo wrote:
> Package: gnome-tweak-tool
> Version: 3.16.2-2
> Severity: minor
> 
> Dear Maintainer,
> 
> In the Gnome Tweak Tool, under the "Top Bar" section, there is an option called
> "Show Application Menu" and an on/off button next to it. When it is switched to
> off, there is an application menu in the top left corner of windows, and when
> the button is switched to on, the application menus disappear. Obviously it
> should be the other way around.

I can confirm this. There seems to be a missing distinction between
the "Show App Menu (in topbar)" and "Show App Menu (in shell)".

I suspect that a fix would involve adding ! to both the getter
and setter of ApplicationMenuTweak, see:
https://git.gnome.org/browse/gnome-tweak-tool/tree/gtweak/tweaks/tweak_group_shell.py#n30

Not sure what effect this would have on people upgrading though.
Would they get then get the opposite behaviour to their prefered
tweak?

Given that the code seems to not be fixed in the lastest upstream
git, could you please file an upstream bug report at
http://bugzilla.gnome.org ?
Please report back here which bug number your report was assigned.

> 
> Thank you very much for working on Debian/Gnome, by the way!

Thanks for your appreciation. :)

Regards,
Andreas Henriksson