Re: f20 - gedit

[Lars E. Pettersson]

On 12/19/2013 09:07 AM, Ahmad Samir wrote:
> AppMenu is only used when running under GNOME, when using any other DE
> it's not used.
>
> FWIW, you can get the old behaviour back under GNOME by editing the
> 'org.gnome.settings-daemon.plugins.xsettings overrides' key:
>
> gsettings set org.gnome.settings-daemon.plugins.xsettings overrides
> "{'Gtk/ShellShowsAppMenu': <0>}"

As the App Menu works bad when using multiple windows and focus follow 
mouse, this should perhaps be a part of gnome-tweak-tool (a tick box 
there to chose App Menu or not), so one doesn't have to dig into dconf 
with dconf-editor. Will make life a tad easier for the ordinary user.

I should perhaps write a RFE on that...

Lars