Stefano Facchini 9812771dcd 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

2012-07-12 23:50:30 -04:00

..

extensionPrefs

…

gdm

…

misc

extensionDownloader: Add update/blacklist support for extensions

2012-07-10 14:36:41 -04:00

perf

js: use System.gc() instead of shell_global_gc()

2012-07-12 20:11:38 -04:00

ui

dash: hide tooltips when overview begins hiding

2012-07-12 23:50:30 -04:00

Makefile.am

…