[gnome-shell] dash: hide tooltips when overview begins hiding

[Jasper St. Pierre <jstpierre src gnome org>]

commit 9812771dcd6898ebbd066171130b763c6572f4fc
Author: Stefano Facchini <stefano facchini gmail com>
Date:   Mon Apr 16 17:04:29 2012 +0200

    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

 js/ui/dash.js |   10 ++++++++--
 1 files changed, 8 insertions(+), 2 deletions(-)
---
diff --git a/js/ui/dash.js b/js/ui/dash.js
index 69caf5b..320defb 100644
--- a/js/ui/dash.js
+++ b/js/ui/dash.js
@@ -133,7 +133,6 @@ const DashItemContainer = new Lang.Class({
     },
 
     hideLabel: function () {
-        this.label.opacity = 255;
         Tweener.addTween(this.label,
                          { opacity: 0,
                            time: DASH_ITEM_LABEL_HIDE_TIME,
@@ -459,6 +458,13 @@ const Dash = new Lang.Class({
                                Lang.bind(this, function() {
                                    this._onHover(item, display)
                                }));
+
+        Main.overview.connect('hiding',
+                              Lang.bind(this, function() {
+                                  this._labelShowing = false;
+                                  item.hideLabel();
+                              }));
+
         return item;
     },
 
@@ -474,7 +480,7 @@ const Dash = new Lang.Class({
                     }));
                 if (this._resetHoverTimeoutId > 0) {
                     Mainloop.source_remove(this._resetHoverTimeoutId);
-                this._resetHoverTimeoutId = 0;
+                    this._resetHoverTimeoutId = 0;
                 }
             }
         } else {