From 2732f6d2c29cd911caf2cd387fcd58d5e693892a Mon Sep 17 00:00:00 2001 From: Giovanni Campagna Date: Tue, 2 Aug 2011 23:28:44 +0200 Subject: [PATCH] workspace-indicator: port to new extension API main() has been replaced by init(), enable() and disable() --- extensions/workspace-indicator/extension.js | 16 ++++++++++------ 1 file changed, 10 insertions(+), 6 deletions(-) diff --git a/extensions/workspace-indicator/extension.js b/extensions/workspace-indicator/extension.js index da847ed8..109ea042 100644 --- a/extensions/workspace-indicator/extension.js +++ b/extensions/workspace-indicator/extension.js @@ -9,9 +9,6 @@ const Panel = imports.ui.panel; const Main = imports.ui.main; -const Gettext = imports.gettext.domain('gnome-shell-extensions'); -const _ = Gettext.gettext; - function WorkspaceIndicator() { this._init.apply(this, arguments); } @@ -96,7 +93,14 @@ WorkspaceIndicator.prototype = { }, } -function main() { - Panel.STANDARD_TRAY_ICON_ORDER.unshift('workspace-indicator'); - Panel.STANDARD_TRAY_ICON_SHELL_IMPLEMENTATION['workspace-indicator'] = WorkspaceIndicator; +function init(meta) { + Panel.STANDARD_TRAY_ICON_ORDER.unshift('workspace-indicator'); +} + +function enable() { + Main.panel.addToStatusArea('workspace-indicator', new WorkspaceIndicator); +} + +function disable() { + Main.panel.removeFromStatusArea('workspace-indicator'); }