Giovanni Campagna 7d7b92419f Workspace: ignore actual geometry changes while unmapped ... If unmapped, ignore geometry changes. This avoids doing useless layout work on invisible workspaces during the slider control animations. https://bugzilla.gnome.org/show_bug.cgi?id=729823		2014-06-26 19:20:17 +02:00
..
extensionPrefs	js: Adapt to GSettings API change	2014-06-24 15:17:09 -04:00
gdm	js: Adapt to GSettings API change	2014-06-24 15:17:09 -04:00
misc	util: Don't pass too many arguments to child_watch_add	2014-04-28 10:22:51 -04:00
perf
ui	Workspace: ignore actual geometry changes while unmapped	2014-06-26 19:20:17 +02:00
js-resources.gresource.xml	Implement window menus in gnome-shell	2014-05-17 15:17:29 -04:00
Makefile.am	make NetworkManager optional	2014-02-11 18:04:44 -05:00