Don't hide menus

[Jean-Marc Lasgouttes]

Le 14/10/2023 à 14:27, Jürgen Spitzmüller a écrit :
> Am Samstag, dem 14.10.2023 um 14:18 +0200 schrieb Jean-Marc Lasgouttes:
>> Look at the screenshot here :
>> https://wiki.ubuntu.com/Unity/HUD
> 
> Thanks. So in simpler words, a search field for menu items.

Right. And in practice it is also a great tool for experienced users, 
because this can be used as keyboard shortcuts (with time you know which 
3 letters will trigger the right action).

We could also experiment adding labels or citation keys in there (to 
insert references) or maybe section names (to go quickly to some place).

JMarc