Re: Header bar: Keyboard accessibility?

[Yuri Khan <yuri v khan gmail com>]

On Sat, Jun 24, 2017 at 1:21 AM, Michael Torrie <torriem 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.