Re: TTY Vertical divider face?

[Richard Stallman]

    to the following patch?  Should it use a different face (note that the
    actual face that ends up being used by this code is
    `mode-line-inactive', even though the code says MODE_LINE_FACE_ID; I'm
    not sure why this is)?

Defaulting to mode-line-inactive seems better than defaulting
mode-line, but if it is implemented this way, there should be a
comment to explain that this code doesn't do what you might have
expected it to do.

However, on principle it seems wrong to use mode-line-inactive
directly.  There ought to be a separate named face to control this.
It could default to mode-line-inactive.