gnome-shell/js
2012-02-09 10:10:18 +01:00
..
extensionPrefs Fixed typo in string 2012-02-09 10:10:18 +01:00
gdm Fix some fallout from background-size addition 2012-01-10 21:50:21 +01:00
misc extensionUtils: Create and allow access to a new "extension" object 2012-02-07 16:00:37 -05:00
perf *.js: Make emacs modelines consistent 2011-10-11 08:05:12 -04:00
ui panel: Simplify corner drawing 2012-02-08 23:39:24 +01:00
Makefile.am Add a new tool, 'gnome-shell-extension-prefs', which can configure extensions 2012-02-07 16:00:37 -05:00