bug#70710: closed (Expand default auto-reveal options)

[GNU bug Tracking System]

Your message dated Sat, 04 May 2024 21:52:52 +0200
with message-id <m2h6fd5p7v.fsf@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@gnu.org.)


-- 
70710: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70710
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems

--- Begin Message --- Subject: Expand default auto-reveal options Date: Thu, 2 May 2024 08:42:48 +0200

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

0001-Expand-default-auto-reveal-options.patch
Description: Binary data

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#70710: Expand default auto-reveal options
>
>
>
>
> Date: 
>
> Sat, 04 May 2024 21:52:52 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13)
>
>
>
>
> Paul Nelson <ultrono@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
>
>
> --- End Message ---