GNU bug report logs - #52980
elide-head and revert-buffer interaction stops elide-head-show from working

Previous Next

Full log

View this message in rfc822 format

From: Stefan Kangas <stefan <at> marxist.se>
To: 52980 <at> debbugs.gnu.org
Subject: bug#52980: elide-head and revert-buffer interaction stops elide-head-show from working
Date: Tue, 4 Jan 2022 03:15:42 -0500

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

tags 52980 + patch
thanks

Stefan Kangas <stefan <at> marxist.se> writes:

> I started looking into a solution with {before,after}-revert-hook, but
> that just seems duplicate what we would get from just using a minor
> mode.  So I'm starting to think that `elide-head' and `elide-head-show'
> should be obsoleted in favor of a new local minor mode
> `elide-head-mode'.
>
> That would also save me from having to add a third command
> `elide-head-toggle' to toggle the hiding on or off.

Here's a patch.

[0001-New-minor-mode-elide-head-mode.patch (text/x-diff, attachment)]

Previous Next

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