From 3991d2729db51ecf6d6ac5a14daa07048c205661 Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Sat, 9 Nov 2013 11:11:01 -0500
Subject: [PATCH] dash: Make sure we clear the timeout IDs for the label
 tooltip

https://bugzilla.gnome.org/show_bug.cgi?id=711732
---
 js/ui/dash.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/js/ui/dash.js b/js/ui/dash.js
index 13651fa4c..3c5e89d81 100644
--- a/js/ui/dash.js
+++ b/js/ui/dash.js
@@ -576,6 +576,7 @@ const Dash = new Lang.Class({
                     Lang.bind(this, function() {
                         this._labelShowing = true;
                         item.showLabel();
+                        this._showLabelTimeoutId = 0;
                         return false;
                     }));
                 if (this._resetHoverTimeoutId > 0) {
@@ -592,6 +593,7 @@ const Dash = new Lang.Class({
                 this._resetHoverTimeoutId = Mainloop.timeout_add(DASH_ITEM_HOVER_TIMEOUT,
                     Lang.bind(this, function() {
                         this._labelShowing = false;
+                        this._resetHoverTimeoutId = 0;
                         return false;
                     }));
             }