Cursor intersects with \cap

[Jean-Marc Lasgouttes]

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