Re: ElDoc: adding optional support to display messages in header-line

[Stefan Monnier]

> I've added to ElDoc a customizable flag to redirect the output into
> the header-line instead of the echo area. It's my first contribution
> and I'm not sure if the patch is implementing the functionality good
> enough to make it into Emacs. I'd like to hear your feedback :)

BTW, I'm not sure it's a good feature.  Also, the docstring of
eldoc-display-in-header-line needs to start with a line that stands on
its own.


        Stefan