Where is the Gnome3 application menu for Cinnamon?

[Stefan Salewski <mail ssalewski de>]

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.