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

Previous Next

Package: auctex;

Reported by: Paul Nelson <ultrono <at> gmail.com>

Date: Thu, 2 May 2024 06:44:02 UTC

Severity: normal

Done: Arash Esbati <arash <at> gnu.org>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 70710 in the body.
You can then email your comments to 70710 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to bug-auctex <at> gnu.org:
bug#70710; Package auctex. (Thu, 02 May 2024 06:44:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to Paul Nelson <ultrono <at> gmail.com>:
New bug report received and forwarded. Copy sent to bug-auctex <at> gnu.org. (Thu, 02 May 2024 06:44:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

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 1 (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 2 (text/html, inline)]
[0001-Expand-default-auto-reveal-options.patch (application/octet-stream, attachment)]
Reply sent to Arash Esbati <arash <at> gnu.org>:
You have taken responsibility. (Sat, 04 May 2024 19:54:01 GMT) Full text and rfc822 format available.
Notification sent to Paul Nelson <ultrono <at> gmail.com>:
bug acknowledged by developer. (Sat, 04 May 2024 19:54:02 GMT) Full text and rfc822 format available.

Message #10 received at 70710-done <at> debbugs.gnu.org (full text, mbox):

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
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Sun, 02 Jun 2024 11:24:06 GMT) Full text and rfc822 format available.
This bug report was last modified 1 year and 14 days ago.

Previous Next

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