Le 08/09/2020 à 00:11, Enrico Forestieri a écrit :
Likely. Possibly the culprit is 79998fdc. However, after that commit, the "2" in \int_0^2 does not clash with the integral anymore. It seems that you can't have your cake and eat it, too.
Something is a bit fishy in terms of metrics though. Look at this example here where the \times and the \bigr| are spearated in low zoom level, but begin to verlap whan zooming. Weird.
JMarc
cursor-placement.23-1.lyx
Description: application/lyx
-- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
