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

Previous Next

Full log

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

Previous Next

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