Re: The color of a header line and window selection.

[Richard Stallman]

    Actually, the light color of the header-line is identical to the color
    of the menus and the toolbar.  To me, this makes the header line
    appear as a part of the frame.

It isn't part of the frame, so if the default color makes it look that
way, we should change it.  The `header-line' face should specify a
color that makes it appear to be what it is--part of the window
contents.