bug#21025: tabulated-list.el: It should preserve header line set by derived modes. (Encl. a suggested PATCH)

[Lars Ingebrigtsen]

Lars Ingebrigtsen <larsi@gnus.org> writes:

>> -      (overlay-put tabulated-list--header-overlay 'face 'underline))))
>> +      (overlay-put tabulated-list--header-overlay
>> +                   'face '(:overline t :underline t :weight bold)))))
>
> This might be more controversial, though.  I think it looks nice, but
> some people don't like so many lines.  Perhaps it should be a defface,
> so that people can change this themselves?  The default could be what
> you're describing, though.

I've now done this change and otherwise applied your patch.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no