Re: Cursor intersects with \cap

Am Tue, 8 Sep 2020 21:00:41 +0200 schrieb Kornel Benko : > Am Tue, 8 Sep 2020 19:44:38 +0200 > schrieb Enrico Forestieri : > > > On Tue, Sep 08, 2020 at 06:15:54PM +0200, Kornel Benko wrote: > > > Am Tue, 8 Sep 2020 17:48:43 +0200 > > > schrieb Jean-Marc Lasgouttes : > > > > > > > Le 08/09

Re: Cursor intersects with \cap

Am Tue, 8 Sep 2020 19:44:38 +0200 schrieb Enrico Forestieri : > On Tue, Sep 08, 2020 at 06:15:54PM +0200, Kornel Benko wrote: > > Am Tue, 8 Sep 2020 17:48:43 +0200 > > schrieb Jean-Marc Lasgouttes : > > > > > Le 08/09/2020 à 13:33, Enrico Forestieri a écrit : > > > >> So, it fails to compute

Re: Cursor intersects with \cap

On Tue, Sep 08, 2020 at 06:15:54PM +0200, Kornel Benko wrote: > Am Tue, 8 Sep 2020 17:48:43 +0200 > schrieb Jean-Marc Lasgouttes : > > > Le 08/09/2020 à 13:33, Enrico Forestieri a écrit : > > >> So, it fails to compute it correctly when the zoom changes. > > > > > > Anyway, the attached patch s

Re: Cursor intersects with \cap

On Tue, Sep 08, 2020 at 05:48:43PM +0200, Jean-Marc Lasgouttes wrote: > Le 08/09/2020 à 13:33, Enrico Forestieri a écrit : > > > So, it fails to compute it correctly when the zoom changes. > > > > Anyway, the attached patch seems to do the trick. > > Looks good. How confident are you that it does

Re: Cursor intersects with \cap

Am Tue, 8 Sep 2020 17:48:43 +0200 schrieb Jean-Marc Lasgouttes : > Le 08/09/2020 à 13:33, Enrico Forestieri a écrit : > >> So, it fails to compute it correctly when the zoom changes. > > > > Anyway, the attached patch seems to do the trick. > > Looks good. How confident are you that it does

Re: Cursor intersects with \cap

Le 08/09/2020 à 13:33, Enrico Forestieri a écrit : So, it fails to compute it correctly when the zoom changes. Anyway, the attached patch seems to do the trick. Looks good. How confident are you that it does not break something else? JMarc -- lyx-devel mailing list lyx-devel@lists.lyx.org ht

Re: Cursor intersects with \cap

On Tue, Sep 08, 2020 at 01:09:28PM +0200, Enrico Forestieri wrote: > 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

Re: Cursor intersects with \cap

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 79998

Re: Cursor intersects with \cap

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

Re: Cursor intersects with \cap

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 you

Re: Cursor intersects with \cap

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. Loo

Re: Cursor intersects with \cap

Le 08/09/2020 à 02:25, Enrico Forestieri a écrit : If you look at the output, adding a character after \cap also modifies the spacing around it. It seems that the on-screen representation is able to follow more closely the latex output. Yes, this was my big work on mathed for 2.3. JMarc -- lyx

Re: Cursor intersects with \cap

On Tue, Sep 08, 2020 at 02:25:57AM +0200, Enrico Forestieri wrote: > On Mon, Sep 07, 2020 at 07:30:25PM -0400, Scott Kostyshak wrote: > > On Tue, Sep 08, 2020 at 12:11:25AM +0200, Enrico Forestieri wrote: > > > On Mon, Sep 07, 2020 at 03:52:11PM -0400, Scott Kostyshak wrote: > > > > > > > To repro

Re: Cursor intersects with \cap

On Mon, Sep 07, 2020 at 07:30:25PM -0400, Scott Kostyshak wrote: > On Tue, Sep 08, 2020 at 12:11:25AM +0200, Enrico Forestieri wrote: > > On Mon, Sep 07, 2020 at 03:52:11PM -0400, Scott Kostyshak wrote: > > > > > To reproduce, open the attached file. Put the cursor just after \cap. It > > > might

Re: Cursor intersects with \cap

On Tue, Sep 08, 2020 at 12:11:25AM +0200, Enrico Forestieri wrote: > On Mon, Sep 07, 2020 at 03:52:11PM -0400, Scott Kostyshak wrote: > > > To reproduce, open the attached file. Put the cursor just after \cap. It > > might help to zoom in. For me, it shows that the cursor intersects the > > \cap.

Re: Cursor intersects with \cap

On Mon, Sep 07, 2020 at 03:52:11PM -0400, Scott Kostyshak wrote: > To reproduce, open the attached file. Put the cursor just after \cap. It > might help to zoom in. For me, it shows that the cursor intersects the > \cap. For me it does not intersect but the cursor is practically attached to \cap.

Re: Cursor intersects with \cap

Am Mon, 7 Sep 2020 15:52:11 -0400 schrieb Scott Kostyshak : > To reproduce, open the attached file. Put the cursor just after \cap. It > might help to zoom in. For me, it shows that the cursor intersects the > \cap. I see it too, but only with BIG zoom. > I see this on master and 2.3.x, but not