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@xxxxxxxxxxxx> > > 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 > _______________________________________________ gtk-list mailing list gtk-list@xxxxxxxxx https://mail.gnome.org/mailman/listinfo/gtk-list
