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