Florian Müllner d1fc87577a panel: Simplify corner drawing ... With the panel border removed, it is no longer necessary to account for it in the corner drawing code, so simplify the drawing code a bit. https://bugzilla.gnome.org/show_bug.cgi?id=669489		2012-02-08 23:39:24 +01:00
..
extensionPrefs	extensionUtils: Create and allow access to a new "extension" object	2012-02-07 16:00:37 -05: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