Le 2 août 2020 10:18:50 GMT+02:00, "Jürgen Spitzmüller" <spitz at lyx.org> a écrit : >Am Sonntag, den 02.08.2020, 09:44 +0200 schrieb Daniel: >> Do you prefer a ui or non-ui switch? > >A pref entry would be fine (JMarc, I hear you screaming!). Just pretend you did not hear me :) JMarc