Florian Müllner 026f598c37 dash: Skip animations while the overview is hidden ... If a window is closed, the list of running applications may change while the overview is hidden. Animating dash changes is pointless in this case, so update the dash without animations in that case. https://bugzilla.gnome.org/show_bug.cgi?id=636156		2011-02-09 22:16:45 +01:00
..
misc	Don't switch to a workspace when dragging it to launch on that workspace	2011-02-08 19:43:21 -05:00
perf	Use non recursive automake for JS	2010-09-15 18:38:46 +02:00
ui	dash: Skip animations while the overview is hidden	2011-02-09 22:16:45 +01:00
Makefile.am	Add workspace thumbnails to the overview	2011-02-08 19:43:20 -05:00