On Wed, Dec 21, 2016 at 12:37 AM, Stefan Salewski <m...@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
--
⊨ Michael Gratton, Percept Wrangler.
⚙ <http://mjog.vee.net/>
_______________________________________________
gtk-list mailing list
gtk-list@gnome.org
https://mail.gnome.org/mailman/listinfo/gtk-list
