Re: Where is the Gnome3 application menu for Cinnamon?

[Stefan Salewski <mail ssalewski de>]

Thanks for your fast reply.

So his complains seems to be justified, I will tell him and send him a
link to your post.

On Wed, 2016-12-21 at 01:13 +1100, Michael Gratton wrote:
> On Wed, Dec 21, 2016 at 12:37 AM, Stefan Salewski <mail ssalewski de>
>  
> wrote:
> > Now someone tried my NEd editor with his cinnamon window manager.
> > He
> > told me that he has GTK 3.18 but can not find an application menu,
> > so
> > he can not open the preferences dialog.
>
>
> We have something similar happen in Geary, the workaround (if it was 
> the same problem) was to adjust GtkSettings.gtk_decoration_layout at 
> startup to always include "menu": 
> https://bugzilla.gnome.org/show_bug.cgi?id=770617
>
> I reported the issue for GTK+ but it was marked RESOLVED NOTGNOME: 
> https://bugzilla.gnome.org/show_bug.cgi?id=770619
>
> HTH,
> //Mike