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: Paul Nelson <ultrono <at> gmail.com>
Subject: bug#70442: closed (Re: bug#70442: [PATCH] Open new previews when
 they cover point)
Date: Thu, 18 Apr 2024 14:29:04 +0000

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

Your bug report

#70442: [PATCH] Open new previews when they cover point

which was filed against the auctex package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 70442 <at> debbugs.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: 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

[Message part 3 (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 4 (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)]

Previous Next

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