gnome-shell/js/extensionPrefs
Jasper St. Pierre 10a0762fe7 extensionPrefs: Fix
We accidentally broke two things here when overhauling the
extensions system.

https://bugzilla.gnome.org/show_bug.cgi?id=680064
2012-07-17 12:14:02 -04:00
..
main.js extensionPrefs: Fix 2012-07-17 12:14:02 -04:00