comparison src/xterm.c @ 54733:edff9ce01ed0

(handle_one_xevent): Set mouse_face_hidden after clearing highlight.

54732:e04c6343cf61

      f = x_any_window_to_frame (dpyinfo, event.xkey.window);

      if (!dpyinfo->mouse_face_hidden && INTEGERP (Vmouse_highlight))
        {
          dpyinfo->mouse_face_hidden = 1;
          clear_mouse_face (dpyinfo);
        }

#if defined USE_MOTIF && defined USE_TOOLKIT_SCROLL_BARS
      if (f == 0)
        {

54733:edff9ce01ed0

      f = x_any_window_to_frame (dpyinfo, event.xkey.window);

      if (!dpyinfo->mouse_face_hidden && INTEGERP (Vmouse_highlight))
        {
          clear_mouse_face (dpyinfo);
          dpyinfo->mouse_face_hidden = 1;
        }

#if defined USE_MOTIF && defined USE_TOOLKIT_SCROLL_BARS
      if (f == 0)
        {