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