The reason the header line is nice is that it will remain on
the screen even when you scroll the customize window.
Yes. Of course, the same operations are also available in the menu-bar
menu, which stays put like a header line.
But of course, you cannot activate it with your mouse.
We could make the header line mouse-sensitive, as in Info.
_______________________________________________
Emacs-devel mailing list
Emacs-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/emacs-devel
