[gnome-shell] dash: Show tooltips on hover

[Owen Taylor <otaylor src gnome org>]

commit 4a93ce703e0f8814c37d18f6702417859a3ba476
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Feb 10 01:41:51 2011 +0100

    dash: Show tooltips on hover
    
    As dash items no longer show application names, display names as
    tooltips on hover.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=642871

 js/ui/dash.js |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/dash.js b/js/ui/dash.js
index ed22fea..28e4bdb 100644
--- a/js/ui/dash.js
+++ b/js/ui/dash.js
@@ -389,6 +389,8 @@ Dash.prototype = {
                                    Lang.bind(this, function() {
                                        display.actor.opacity = 255;
                                    }));
+        display.actor.set_tooltip_text(app.get_name());
+
         let item = new DashItemContainer();
         item.setChild(display.actor);