From 36d9cc329d445ac10e37010eef139a9ee32d0515 Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagna@gnome.org>
Date: Fri, 20 Mar 2015 12:33:25 -0700
Subject: [PATCH] ExtensionPrefs: remove unused GSettings object

Each ExtensionRow has its own

https://bugzilla.gnome.org/show_bug.cgi?id=746509
---
 js/extensionPrefs/main.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/js/extensionPrefs/main.js b/js/extensionPrefs/main.js
index e4d2e96bd..e17a05a95 100644
--- a/js/extensionPrefs/main.js
+++ b/js/extensionPrefs/main.js
@@ -54,7 +54,6 @@ const Application = new Lang.Class({
         this._startupUuid = null;
         this._loaded = false;
         this._skipMainWindow = false;
-        this._settings = new Gio.Settings({ schema_id: 'org.gnome.shell' });
     },
 
     _extensionAvailable: function(uuid) {