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@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
