Fix tab bar item highlight when a mouse click is dropped

* src/xdisp.c (note_mouse_highlight): Clear last_tab_bar_item if the
movement wasn't made on top of the tab bar.

diff --git a/src/xdisp.c b/src/xdisp.c
index 67946a56b4719aa7a053d930e24c3c2af23b1297..97ba6721781eab0c70c14e969b4ab3196d274cd1 100644 (file)
--- a/src/xdisp.c
+++ b/src/xdisp.c
@@ -33652,6 +33652,14 @@ note_mouse_highlight (struct frame *f, int x, int y)
       else
        return;
     }
+  else
+    {
+      /* The mouse might have pressed into the tab bar, but might
+        also have been released outside the tab bar, so
+        f->last_tab_bar_item must be reset, in order to make sure the
+        item can be still highlighted again in the future.  */
+      f->last_tab_bar_item = -1;
+    }
 #endif
 
 #if defined (HAVE_WINDOW_SYSTEM) && ! defined (HAVE_EXT_TOOL_BAR)