On Sun, Aug 02, 2020 at 12:04:46PM +0200, Jean-Marc Lasgouttes wrote: > Le 2 ao??t 2020 10:18:50 GMT+02:00, "Jürgen Spitzmüller" <sp...@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 :)
Design of single combo box looks like exactly situation where we should have fight over single solution than providing another gui switch. Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
