On 2020-08-16 16:06, Richard Kimberly Heck wrote:
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.
I see. I am still not sure about JMarc though. Anyway, I'll add a gui
switch as Jürgen asked for.
Daniel
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
