dash: Make sure we clear the timeout IDs for the label tooltip

https://bugzilla.gnome.org/show_bug.cgi?id=711732
This commit is contained in:
Jasper St. Pierre 2013-11-09 11:11:01 -05:00
parent 5bc8a0860a
commit 3991d2729d

View File

@ -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;
}));
}