GNU bug report logs - #70442
[PATCH] Open new previews when they cover point

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Arash Esbati <arash <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#70442: closed ([PATCH] Open new previews when they cover point)
Date: Thu, 18 Apr 2024 14:29:04 +0000

[Message part 1 (text/plain, inline)]

Your message dated Thu, 18 Apr 2024 16:27:45 +0200
with message-id <m2wmou3fvi.fsf <at> macmutant.fritz.box>
and subject line Re: bug#70442: [PATCH] Open new previews when they cover point
has caused the debbugs.gnu.org bug report #70442,
regarding [PATCH] Open new previews when they cover point
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
70442: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70442
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Paul Nelson <ultrono <at> gmail.com>
To: bug-auctex <at> gnu.org
Subject: [PATCH] Open new previews when they cover point
Date: Wed, 17 Apr 2024 22:55:40 +0200

[Message part 3 (text/plain, inline)]

Steps to reproduce:
- Create test.tex with a valid equation environment.
- Put the point inside the equation environment.
- preview-buffer

When the preview generates, the point is ejected from the equation
environment due to the new overlay.

With this patch, the preview instead temporarily opens, as if the user
had entered it.

I view the latter behavior as "clearly" better, but if I missed some
advantage of the current approach or if my suggestion is deemed
subjective, then I would be happy to resubmit the patch with this
behavior enabled by a user option.

Thanks, best,

Paul

[0001-Open-new-previews-when-they-cover-point.patch (application/octet-stream, attachment)]

[Message part 5 (message/rfc822, inline)]

From: Arash Esbati <arash <at> gnu.org>
To: Paul Nelson <ultrono <at> gmail.com>
Cc: 70442-done <at> debbugs.gnu.org
Subject: Re: bug#70442: [PATCH] Open new previews when they cover point
Date: Thu, 18 Apr 2024 16:27:45 +0200

Paul Nelson <ultrono <at> gmail.com> writes:

> Thanks, I see it now.  Please see attached.

Thanks.  I slightly changed your patch (most notably, the value of
:group tag) and installed it, closing.

Best, Arash

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.