(w32_read_socket): Don't let key-press clear mouse face

on in toolbar window if mouse-highlight is an integer.
This commit is contained in:
Kim F. Storm 2006-03-24 15:24:05 +00:00
parent cf1474a282
commit 442a3a9670

View file

@ -4260,7 +4260,8 @@ w32_read_socket (sd, expected, hold_quit)
if (f && !f->iconified)
{
if (!dpyinfo->mouse_face_hidden && INTEGERP (Vmouse_highlight))
if (!dpyinfo->mouse_face_hidden && INTEGERP (Vmouse_highlight)
&& !EQ (f->tool_bar_window, dpyinfo->mouse_face_window))
{
clear_mouse_face (dpyinfo);
dpyinfo->mouse_face_hidden = 1;
@ -4283,7 +4284,8 @@ w32_read_socket (sd, expected, hold_quit)
if (f && !f->iconified)
{
if (!dpyinfo->mouse_face_hidden && INTEGERP (Vmouse_highlight))
if (!dpyinfo->mouse_face_hidden && INTEGERP (Vmouse_highlight)
&& !EQ (f->tool_bar_window, dpyinfo->mouse_face_window))
{
clear_mouse_face (dpyinfo);
dpyinfo->mouse_face_hidden = 1;