Florian Müllner 585930123d layout: Do not expand struts to screen edges ... set_builtin_struts() in mutter now handles this for us, so we can kill off the extra code here. https://bugzilla.gnome.org/show_bug.cgi?id=730527		2014-06-12 15:36:40 +02:00
..
extensionPrefs	extensionPrefs: Skip main window when launched with a UUID	2014-05-27 18:02:25 +02:00
gdm	loginDialog: Remove unused variable	2014-05-28 22:01:54 +02:00
misc	util: Don't pass too many arguments to child_watch_add	2014-04-28 10:22:51 -04:00
perf	perf: Update to latest overlay changes	2012-08-20 20:40:01 +02:00
ui	layout: Do not expand struts to screen edges	2014-06-12 15:36:40 +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