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 = - - - - - - @@ -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); },