Cosimo Cecchi 5f3b04ecbd viewSelector: make the old page fade-out optional ...

When leaving the overview, we don't want the old page to fade out, but
we want to fade in the windows directly.

https://bugzilla.gnome.org/show_bug.cgi?id=693974

2013-02-16 13:26:38 -05:00

..

extensionPrefs

…

gdm

…

misc

…

perf

…

ui

viewSelector: make the old page fade-out optional

2013-02-16 13:26:38 -05:00

Makefile.am

…