On 8/16/20 3:24 AM, Daniel wrote: > On 2020-08-03 15:49, Pavel Sanda wrote: >> 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. > > I saw that there are gui switches for sorting and grouping > environments. Does this only apply to the layout combo box so far > (maybe that should be made explicit in the gui)? If so, I am inclined > to think that if these warrant a gui switch, so does the formatted > text layout box.
Pavel was joking. Riki -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel