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.

1 files changed, 8 insertions, 0 deletions

diff --git a/src/xdisp.c b/src/xdisp.c
index 67946a56b47..97ba6721781 100644
--- 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)