On 17/8/20 12:53, Kornel Benko wrote:
Am Mon, 17 Aug 2020 12:45:44 +0200
schrieb Jürgen Spitzmüller <sp...@lyx.org>:
Am Montag, den 17.08.2020, 09:13 +0200 schrieb Daniel:
Personally I don't care whether old or new combo version is used,
but I haven't
seen much support for the change from the others.
Thanks a lot for your feedback. Here are my initial, maybe not well
thought through, thoughts (these three words look so similar) about
it.
I think everybody has now heard enough arguments from anybody else, so
I suggest we stop arguing and go voting to see how the preferences are.
Three options have been proposed:
A. Include the change without way to opt-out
B. Include the change but only if it can be opted out
(i.e., do not include it if it cannot be opted out)
C. Do not include the change
In this subthread, please do not give any more arguments, just A, B or
C.
My vote is B.
Jürgen
A.
Kornel
I guess questions are still allowed. Shouldn't we have a vote on whether
to have a vote first? ;) Well, I guess this is just about adding it to
master, so we might change our mind later.
I take it that
1. Since the patch isn't finished yet, "the change" means "a change
along the way of the current patch".
2. Since the discussion was about a GUI switch, "way top opt-out" means
"GUI switch".
I haven't made up my mind yet, but I tend to prefer a GUI switch but
would rather have the change included in some form than not. Should I
vote A or B?
--
Daniel
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
