gnome-shell-batime-extended/batime@martin.zurowietz.de/extension.js
2018-09-16 13:48:17 +02:00

34 lines
907 B
JavaScript

const ExtensionUtils = imports.misc.extensionUtils;
const BaTime = ExtensionUtils.getCurrentExtension();
const Lang = imports.lang;
const Panel = imports.ui.main.panel;
var BaTimeExtension = new Lang.Class({
Name: 'BaTime',
_init: function () {
this.aggregateMenu = Panel.statusArea['aggregateMenu'];
this.originalIndicator = this.aggregateMenu._power;
this.customIndicator = new BaTime.imports.power.Indicator();
this.aggregateMenu._indicators.replace_child(
this.originalIndicator.indicators,
this.customIndicator.indicators
);
},
destroy: function () {
this.aggregateMenu._indicators.replace_child(
this.customIndicator.indicators,
this.originalIndicator.indicators
);
},
});
let baTime;
function enable() {
baTime = new BaTimeExtension();
}
function disable() {
baTime.destroy();
baTime = null;
}