Le 08/09/2020 à 12:22, Enrico Forestieri a écrit :
On Tue, Sep 08, 2020 at 10:41:43AM +0200, Jean-Marc Lasgouttes wrote:
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.
The width of the other characters increases with zoom, but not the
width of \bigr|, which seems to be home made. Possibly, also the
metrics are not updated when the zoom changes.
Yes, \bigr| is ugly, but its position is what LyX computes.
JMarc
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
