Re: Mouse highlighting in header (and mode) line is too persistant

[Jan D.]

Stephen Berman wrote:

> 1. emacs -q (or -Q)
> 2. Invoke a mode that has a header line with highlightable text,
> e.g. Info, Buffer Menu (list-buffers), ruler mode, also tab bar mode
> from the external library tabbar.el.
> 3. Drag the mouse pointer over the header line until a portion of the
> header line highlighted.
> 4. Now drag the mouse completely off the highlighted portion of the
> header line and directly onto the tool bar: the highlighting in the
> header line remains.  As soon as the mouse pointer leaves the tool
> bar, the header line highlighting vanishes.
>
> I only observe this with the tool bar enabled.  I also see it with the
> mode line in the GTK build when the tool bar is detached and dragged
> down so that it abuts the mode line.

I've checked in a fix, please try it.

Thanks,

   Jan D.