2013-07-17 15:26:06 -04:00
|
|
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
|
|
|
|
|
|
|
const Lang = imports.lang;
|
|
|
|
|
|
|
|
const Main = imports.ui.main;
|
|
|
|
const PanelMenu = imports.ui.panelMenu;
|
|
|
|
|
2017-07-18 13:41:25 -04:00
|
|
|
var Indicator = new Lang.Class({
|
2013-07-17 15:26:06 -04:00
|
|
|
Name: 'ScreencastIndicator',
|
|
|
|
Extends: PanelMenu.SystemIndicator,
|
|
|
|
|
|
|
|
_init: function() {
|
|
|
|
this.parent();
|
|
|
|
|
|
|
|
this._indicator = this._addIndicator();
|
|
|
|
this._indicator.icon_name = 'media-record-symbolic';
|
|
|
|
this._indicator.add_style_class_name('screencast-indicator');
|
|
|
|
this._sync();
|
|
|
|
|
|
|
|
Main.screencastService.connect('updated', Lang.bind(this, this._sync));
|
|
|
|
},
|
|
|
|
|
|
|
|
_sync: function() {
|
|
|
|
this._indicator.visible = Main.screencastService.isRecording;
|
|
|
|
},
|
|
|
|
});
|