From 4a93ce703e0f8814c37d18f6702417859a3ba476 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Thu, 10 Feb 2011 01:41:51 +0100
Subject: [PATCH] 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 file changed, 2 insertions(+)

diff --git a/js/ui/dash.js b/js/ui/dash.js
index ed22feab6..28e4bdbe0 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);