Cursor intersects with \cap

[Enrico Forestieri]

On Tue, Sep 08, 2020 at 01:00:15PM +0200, Jean-Marc Lasgouttes wrote:
> 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.

So, it fails to compute it correctly when the zoom changes.

-- 
Enrico