Don't hide menus

[Jean-Marc Lasgouttes]

Le 14/10/2023 à 18:09, Jürgen Spitzmüller a écrit :
> As a GNOME user I am quite used to this sort of UI (the search bar in
> the shell follows a similar spirit and is great for keyboard
> aficionados).

Right. I miss the application menus there, though.

> I suspect it is not easy to implement this properly, though. And I
> suspect it will trigger once more the critique that we go again our own
> UI path instead of duplicating what popular text processors do.

Many environments do that. I wonder if there are hooks to feed the OS 
version of the tool.

> BTW this "HUD" will only show actions that are enabled in the given
> context, right (coming back to the issue that is at stake in this
> thread)?

I guess it is our choice to make, but I'd say yes.

JMarc