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