From 82ed80c9c3f4d1d631c796357bc8900c765cc69b Mon Sep 17 00:00:00 2001 From: "Jasper St. Pierre" Date: Fri, 14 Oct 2011 17:57:46 -0400 Subject: [PATCH] extensionSystem: Load user extensions after system ones https://bugzilla.gnome.org/show_bug.cgi?id=661815 --- js/ui/extensionSystem.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/js/ui/extensionSystem.js b/js/ui/extensionSystem.js index d1f53ef19..f31f2b48c 100644 --- a/js/ui/extensionSystem.js +++ b/js/ui/extensionSystem.js @@ -450,7 +450,6 @@ function _loadExtensionsIn(dir, type) { } function loadExtensions() { - _loadExtensionsIn(userExtensionsDir, ExtensionType.PER_USER); let systemDataDirs = GLib.get_system_data_dirs(); for (let i = 0; i < systemDataDirs.length; i++) { let dirPath = systemDataDirs[i] + '/gnome-shell/extensions'; @@ -458,6 +457,7 @@ function loadExtensions() { if (dir.query_exists(null)) _loadExtensionsIn(dir, ExtensionType.SYSTEM); } + _loadExtensionsIn(userExtensionsDir, ExtensionType.PER_USER); } function InstallExtensionDialog(uuid, version_tag, name) {