Florian Müllner 8ca86fa8bf ui: Kill tooltips
After the changes in style handling in GTK+, mutter's tooltips no
longer match the tooltip style used in applications. Given that
all buttons in the default layout are well-known, killing tooltips
altogether rather than fixing the styling issues looks like a valid
approach.

https://bugzilla.gnome.org/show_bug.cgi?id=645101
2012-03-15 22:27:43 +01:00
..
2012-03-15 22:27:43 +01:00
2009-06-16 14:17:10 -04:00
2011-10-28 15:09:21 -04:00
2011-08-24 09:38:23 -04:00