Giovanni Campagna eda27d5194 WindowManager: improve minimize/map animations ...

Using the parameters from Elementary's Gala, which is generally
considered a DE that cares about eye-candy.

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

2014-07-29 14:53:28 +02:00

..

extensionPrefs

…

gdm

loginDialog: Push a modal for LOCK_SCREEN

2014-07-27 08:18:51 -04:00

misc

…

perf

…

portalHelper

…

ui

WindowManager: improve minimize/map animations

2014-07-29 14:53:28 +02:00

js-resources.gresource.xml

…

Makefile.am

…