On Sat, Jun 24, 2017 at 1:21 AM, Michael Torrie <torr...@gmail.com> wrote:
>> I’m on 3.18, and here’s my test application/mockup: >> >> http://yurikhan.github.io/images/20170623-gtk-header-bar.png > > Oh I see. Yes that's different. The application menu usually refers (at > least in my mind) to the now ubiquitous hamburger menu that all Gnome > apps seem to sport. In *your* *mind*? Application menu is an official term. The menu that is assigned via gtk_application_set_app_menu. What you are describing is called the “gear menu”. The only application I have seen so far where it was activated with F10 is Gitg. And Gedit tries to do that too, unsuccessfully. > I guess what you're trying to trigger is what we > used to call the window menu? In the old days before client-side > decorations, alt-space would trigger that menu. And no, that is not the window menu. The window menu of the old days would contain the window-manager-defined commands such as Move, Resize, Minimize, Maximize and Close. The application menu is fully application-defined. And applications put important functionality there, such as displaying the preferences box. _______________________________________________ gtk-app-devel-list mailing list gtk-app-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/gtk-app-devel-list
