From 12c7cc278d5022000c7358ecdb535ba780107670 Mon Sep 17 00:00:00 2001
From: "Jasper St. Pierre" <jstpierre@mecheye.net>
Date: Fri, 25 May 2012 17:00:32 -0400
Subject: [PATCH] shellDBus: Remove now unused DisableExtension/EnableExtension

These methods were initially introduced when I was planning on having
an explicit DisableExtension/EnableExtension, instead of hooking up
a gsettings notify. This behavior was changed at the last minute, but
the methods were kept to avoid having to change the browser-plugin.

Consumers of this API should just set the GSettings key directly
instead now.

https://bugzilla.gnome.org/show_bug.cgi?id=676837
---
 js/ui/shellDBus.js | 20 --------------------
 1 file changed, 20 deletions(-)

diff --git a/js/ui/shellDBus.js b/js/ui/shellDBus.js
index 5fd65e12b..0921d7cef 100644
--- a/js/ui/shellDBus.js
+++ b/js/ui/shellDBus.js
@@ -56,12 +56,6 @@ const GnomeShellIface = <interface name="org.gnome.Shell">
     <arg type="i" direction="in" name="width"/>
     <arg type="i" direction="in" name="height"/>
 </method>
-<method name="EnableExtension">
-    <arg type="s" direction="in" name="uuid"/>
-</method>
-<method name="DisableExtension">
-    <arg type="s" direction="in" name="uuid"/>
-</method>
 <method name="InstallRemoteExtension">
     <arg type="s" direction="in" name="uuid"/>
     <arg type="s" direction="in" name="version"/>
@@ -260,20 +254,6 @@ const GnomeShell = new Lang.Class({
         return extension.errors;
     },
 
-    EnableExtension: function(uuid) {
-        let enabledExtensions = global.settings.get_strv(ExtensionSystem.ENABLED_EXTENSIONS_KEY);
-        if (enabledExtensions.indexOf(uuid) == -1)
-            enabledExtensions.push(uuid);
-        global.settings.set_strv(ExtensionSystem.ENABLED_EXTENSIONS_KEY, enabledExtensions);
-    },
-
-    DisableExtension: function(uuid) {
-        let enabledExtensions = global.settings.get_strv(ExtensionSystem.ENABLED_EXTENSIONS_KEY);
-        while (enabledExtensions.indexOf(uuid) != -1)
-            enabledExtensions.splice(enabledExtensions.indexOf(uuid), 1);
-        global.settings.set_strv(ExtensionSystem.ENABLED_EXTENSIONS_KEY, enabledExtensions);
-    },
-
     InstallRemoteExtension: function(uuid, version_tag) {
         ExtensionSystem.installExtensionFromUUID(uuid, version_tag);
     },