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: Arash Esbati <arash <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#70710: closed (Expand default auto-reveal options)
Date: Sat, 04 May 2024 19:54:01 +0000

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

Your message dated Sat, 04 May 2024 21:52:52 +0200
with message-id <m2h6fd5p7v.fsf <at> macmutant.fritz.box>
and subject line Re: bug#70710: Expand default auto-reveal options
has caused the debbugs.gnu.org bug report #70710,
regarding Expand default auto-reveal options
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> 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: 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 3 (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 4 (text/html, inline)]

[0001-Expand-default-auto-reveal-options.patch (application/octet-stream, attachment)]

[Message part 6 (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

Previous Next

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