My NEd Nim editor follows the scheme from https://developer.gnome.org/gtk3/stable/ch01s04.html#id-1.2.3.12.5 https://github.com/ngtk3/NEd So for Gnome shell it provides an application menu on top of screen which can open the preferences dialog. Very similar to gedit. 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. I have done some googling, but that was not really helpful. I strongly assume that there is some fallback for Cinnamon, but I can not tell him where. And I really can not install Cinnamon myself just to test it. Of course, when there really is no application menu for Cinnamon, I may provide a keyboard shortcut to open the preferences menu. _______________________________________________ gtk-list mailing list gtk-list@xxxxxxxxx https://mail.gnome.org/mailman/listinfo/gtk-list
