[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master 262a7c9ea0: New minor mode elide-head-mode
From: |
Stefan Kangas |
Subject: |
Re: master 262a7c9ea0: New minor mode elide-head-mode |
Date: |
Sun, 9 Jan 2022 22:16:04 -0600 |
Po Lu <luangruo@yahoo.com> writes:
> Stefan Kangas <stefan@marxist.se> writes:
>
>> I chose not to do that, in order not to change the (admittedly buggy)
>> behavior of the old commands. But if people think it's a good idea, I
>> have no objections to such a cleanup.
>
> Hmm, let's see if anyone else chimes in.
I noticed a nice side-effect from making them wrappers around the mode:
you can always say `M-x elide-head-mode' to show the header again when
it's hidden and vice versa.
So if users have `elide-head' on their mode hooks, they get this nice
thing for free. A net win, IMO. So I've now made the suggested change
on master. Thanks for proposing it.