Cosimo Cecchi 672ca8850a windowManager: add animations for fullscreen and unfullscreen ... We use the newly introduced feature from Mutter to hook up our own fullscreen and unfullscreen animations. To give the illusion of a transition as smooth as possible, we create a snapshot of the current contents of the actor before its state is changed, and crossfade between the two states while the size changes. https://bugzilla.gnome.org/show_bug.cgi?id=707248		2015-10-12 15:40:30 -04:00
..
extensionPrefs	ExtensionPrefs: remove unused GSettings object	2015-03-27 13:11:22 -07:00
gdm	loginDialog: Limit user list to the available height	2015-09-03 15:45:39 +02:00
misc	misc: Add missing check on reply from systemd's CanSuspend D-Bus method	2015-04-22 23:17:45 +01:00
perf	Revert accidental commit "Test stuff"	2014-09-03 13:47:18 -04:00
portalHelper	PortalHelper: Make translator comment appear	2015-01-28 13:47:56 +01:00
ui	windowManager: add animations for fullscreen and unfullscreen	2015-10-12 15:40:30 -04:00
js-resources.gresource.xml	legacyTray: Add a hideable tray for legacy status icons	2015-03-03 19:14:49 +01:00
Makefile.am	js/Makefile.am: Fix dependency generation with srcdir != builddir	2014-06-29 18:27:53 -04:00