Re: mouse-face on mode-line and header-line

[Luc Teirlinck]

I plan to install the changes in the message I am replying to if
nobody objects and no new bug reports surface about the new mouse-face
on mode line functionality.  (All that the proposed changes do is add
the mode-line-highlight mouse-face to additional places for which it
makes sense.)  I will wait at least another day.

Sincerely,

Luc.