gnome-shell/js
2014-06-17 22:33:51 +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 IconGrid: Don't check twice for min icon size 2014-06-17 22:33:51 +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