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.

Full log

View this message in rfc822 format

From: Paul Nelson <ultrono <at> gmail.com>
To: 70710 <at> debbugs.gnu.org
Subject: bug#70710: 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)]
This bug report was last modified 1 year and 35 days ago.

Previous Next

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