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

extensionUtils: Create and load the extension object when scanning

2012-06-12 17:16:08 -04:00

gdm

Implemented banner support for the login screen

2012-07-06 09:01:25 -04:00

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

shell: Remove ContactSystem

2012-06-29 11:21:50 +02:00