On 2020-08-02 08:04, Jürgen Spitzmüller wrote:
Am Samstag, den 01.08.2020, 02:20 -0400 schrieb Richard Kimberly Heck:
Patch fixing first two issues posted to bug. I'm happy to commit
this, but I'd like a bit more input from the other devs and users
about it.
I hope this will be implemented with an option to switch it off.
Personally I find such formatted combos distracting.
Jürgen
Do you prefer a ui or non-ui switch?
Daniel
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
