Cursor intersects with \cap

[Jean-Marc Lasgouttes]

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




-------------- next part --------------
A non-text attachment was scrubbed...
Name: cursor-placement.23-1.lyx
Type: application/x-lyx
Size: 1823 bytes
Desc: not available
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20200908/157998f0/attachment.lyx>