diff options
-rw-r--r-- | extension.js | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/extension.js b/extension.js index 9b0b39c..87bd2af 100644 --- a/extension.js +++ b/extension.js @@ -1,3 +1,4 @@ +// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*- const Gio = imports.gi.Gio; const Lang = imports.lang; const St = imports.gi.St; @@ -28,12 +29,12 @@ OnScreenKeyboardButton.prototype = { _toggleShowOnScreenKeyboard: function() { if (this._onScreenKeyboardShown) { - this.actor.set_label("Show keyboard"); - Main.keyboard.hide(); + this.actor.set_label("Show keyboard"); + Main.keyboard.hide(); } else { - this._activateOnScreenKeyboard(); - this.actor.set_label("Hide keyboard"); - Main.keyboard.show(); + this._activateOnScreenKeyboard(); + this.actor.set_label("Hide keyboard"); + Main.keyboard.show(); } this._onScreenKeyboardShown = !this._onScreenKeyboardShown; }, @@ -46,11 +47,11 @@ function init() { } function enable() { - let _children = Main.panel._centerBox.get_children(); - Main.panel._centerBox.insert_child_at_index(button.actor, _children.length - 1); - Main.panel._centerBox.add(button.actor); + let _children = Main.panel._centerBox.get_children(); + Main.panel._centerBox.insert_child_at_index(button.actor, _children.length - 1); + Main.panel._centerBox.add(button.actor); } function disable() { - Main.panel._centerBoxBox.remove_actor(button.actor); + Main.panel._centerBoxBox.remove_actor(button.actor); } |