GNU bug report logs - #70710
Expand default auto-reveal options

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#70710: closed (Re: bug#70710: Expand default auto-reveal options)
Date: Sat, 04 May 2024 19:54:02 +0000

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

Your bug report

#70710: Expand default auto-reveal options

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 70710 <at> debbugs.gnu.org.

-- 
70710: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70710
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: 70710-done <at> debbugs.gnu.org
Subject: Re: bug#70710: Expand default auto-reveal options
Date: Sat, 04 May 2024 21:52:52 +0200

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

> This patch adds the commands #'undo and #'pop-to-mark-command to the
> defaults for revealing folds and previews.  I think there is no
> downside to this, and clear benefit.  (Indeed, in the years before I
> stumbled upon this customization, I was often annoyed by the fact that
> previews didn't reveal in cases covered by this patch.  Hoping to
> spare other users the trouble!)

Thanks, installed, and closing.

Best, Arash

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

From: Paul Nelson <ultrono <at> gmail.com>
To: bug-auctex <at> gnu.org
Subject: Expand default auto-reveal options
Date: Thu, 2 May 2024 08:42:48 +0200

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

This patch adds the commands #'undo and #'pop-to-mark-command to the
defaults for revealing folds and previews.  I think there is no downside to
this, and clear benefit.  (Indeed, in the years before I stumbled upon this
customization, I was often annoyed by the fact that previews didn't reveal
in cases covered by this patch.  Hoping to spare other users the trouble!)

Thanks, best,

Paul

[Message part 5 (text/html, inline)]

[0001-Expand-default-auto-reveal-options.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.