diff --git a/js/ui/shellDBus.js b/js/ui/shellDBus.js index 7a6257766..66ac9c062 100644 --- a/js/ui/shellDBus.js +++ b/js/ui/shellDBus.js @@ -67,6 +67,9 @@ const GnomeShellIface = + + + @@ -269,6 +272,11 @@ const GnomeShell = new Lang.Class({ ['extension:///' + uuid], -1, null); }, + ReloadExtension: function(uuid) { + ExtensionSystem.unloadExtension(uuid); + ExtensionSystem.loadExtension(uuid); + }, + get OverviewActive() { return Main.overview.visible; },