Don't hide menus

[Jean-Marc Lasgouttes]

Look at the screenshot here :
https://wiki.ubuntu.com/Unity/HUD

JMarc 

Le 14 octobre 2023 08:33:53 GMT+02:00, "Jürgen Spitzmüller" <jspitzm at gmail.com> a écrit :
>Am Freitag, dem 13.10.2023 um 17:44 +0200 schrieb Jean-Marc Lasgouttes:
>> What we could provide is a HUD, like Apple's Cmd-space, but for menu 
>> entries. We had that in Ubuntu in the old days.
>
>I have not the slightest idea what a HUD is.
>
>-- 
>Jürgen
>-- 
>lyx-devel mailing list
>lyx-devel at lists.lyx.org
>http://lists.lyx.org/mailman/listinfo/lyx-devel
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20231014/9b412602/attachment-0001.html>