dash: hide tooltips when overview begins hiding

Otherwise the tooltip remains visible until the overview animation is
completed, which is odd.

https://bugzilla.gnome.org/show_bug.cgi?id=674241
This commit is contained in:
Stefano Facchini 2012-04-16 17:04:29 +02:00 committed by Jasper St. Pierre
parent 6f605598de
commit 9812771dcd

View File

@ -133,7 +133,6 @@ const DashItemContainer = new Lang.Class({
}, },
hideLabel: function () { hideLabel: function () {
this.label.opacity = 255;
Tweener.addTween(this.label, Tweener.addTween(this.label,
{ opacity: 0, { opacity: 0,
time: DASH_ITEM_LABEL_HIDE_TIME, time: DASH_ITEM_LABEL_HIDE_TIME,
@ -459,6 +458,13 @@ const Dash = new Lang.Class({
Lang.bind(this, function() { Lang.bind(this, function() {
this._onHover(item, display) this._onHover(item, display)
})); }));
Main.overview.connect('hiding',
Lang.bind(this, function() {
this._labelShowing = false;
item.hideLabel();
}));
return item; return item;
}, },
@ -474,7 +480,7 @@ const Dash = new Lang.Class({
})); }));
if (this._resetHoverTimeoutId > 0) { if (this._resetHoverTimeoutId > 0) {
Mainloop.source_remove(this._resetHoverTimeoutId); Mainloop.source_remove(this._resetHoverTimeoutId);
this._resetHoverTimeoutId = 0; this._resetHoverTimeoutId = 0;
} }
} }
} else { } else {