Re: buff-menu.el header line

[Stefan Monnier]

>  1. I expect no argument over deleting the extraneous white space on
>     line 648.

IIRC removing the whitespace breaks alignment if you use a header-line in
a window-system (i.e. what I expect to be the default case).

>  3. There may be more argument about deleting the line providing an
>     intangible text property.  I always comment it out because its
>     existence means I cannot use `C-n' (next-line) when point is in
>     the header.  On the other hand, others may prefer only to use
>     `C-f' (forward-char), which leaves the header line and its
>     underlining.

I don't particularly like `intangible', but the above suggests that a better
solution is to fix C-n.


        Stefan