Florian Müllner 6e89d2f46a extensionPrefs: Fix opening extension preferences on startup ... gnome-shell-extension-prefs supports opening a specific extension's preferences directly from the command line by passing the UUID. However this broke when extension loading was changed to be processed asynchronously, as no extension has been loaded when the command line argument is processed. Fix by deferring opening the extension's preferences until all extensions have been loaded. https://bugzilla.gnome.org/show_bug.cgi?id=694858		2013-02-28 15:37:29 +01:00
..
main.js	extensionPrefs: Fix opening extension preferences on startup	2013-02-28 15:37:29 +01:00