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

32 lines
826 B
JavaScript

const ExtensionUtils = imports.misc.extensionUtils;
const BaTime = ExtensionUtils.getCurrentExtension();
const Panel = imports.ui.main.panel;
class BaTimeExtension {
constructor() {
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() {
this.aggregateMenu._indicators.replace_child(
this.customIndicator.indicators,
this.originalIndicator.indicators
);
}
}
let baTime;
function enable() {
baTime = new BaTimeExtension();
}
function disable() {
baTime.destroy();
baTime = null;
}