2011-09-28 09:16:26 -04:00
|
|
|
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2019-02-08 22:21:36 -05:00
|
|
|
|
const { Clutter, Gio, GLib, GObject, Meta, St } = imports.gi;
|
2012-11-10 16:47:57 -05:00
|
|
|
|
const Signals = imports.signals;
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2019-02-08 22:21:36 -05:00
|
|
|
|
const InputSourceManager = imports.ui.status.keyboard;
|
2018-05-25 05:35:49 -04:00
|
|
|
|
const IBusManager = imports.misc.ibusManager;
|
2011-08-29 11:11:22 -04:00
|
|
|
|
const BoxPointer = imports.ui.boxpointer;
|
2012-11-18 10:17:21 -05:00
|
|
|
|
const Layout = imports.ui.layout;
|
2011-08-29 11:11:22 -04:00
|
|
|
|
const Main = imports.ui.main;
|
2017-12-22 10:02:51 -05:00
|
|
|
|
const PageIndicators = imports.ui.pageIndicators;
|
2018-01-23 10:45:46 -05:00
|
|
|
|
const PopupMenu = imports.ui.popupMenu;
|
2017-10-11 03:58:58 -04:00
|
|
|
|
const Tweener = imports.ui.tweener;
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-07-18 13:47:27 -04:00
|
|
|
|
var KEYBOARD_REST_TIME = Layout.KEYBOARD_ANIMATION_TIME * 2 * 1000;
|
2017-08-05 06:21:30 -04:00
|
|
|
|
var KEY_LONG_PRESS_TIME = 250;
|
2017-12-22 10:02:51 -05:00
|
|
|
|
var PANEL_SWITCH_ANIMATION_TIME = 0.5;
|
|
|
|
|
var PANEL_SWITCH_RELATIVE_DISTANCE = 1 / 3; /* A third of the actor width */
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2011-08-29 13:02:42 -04:00
|
|
|
|
const A11Y_APPLICATIONS_SCHEMA = 'org.gnome.desktop.a11y.applications';
|
|
|
|
|
const SHOW_KEYBOARD = 'screen-keyboard-enabled';
|
|
|
|
|
|
2017-12-20 07:08:50 -05:00
|
|
|
|
/* KeyContainer puts keys in a grid where a 1:1 key takes this size */
|
|
|
|
|
const KEY_SIZE = 2;
|
|
|
|
|
|
2017-08-05 06:21:30 -04:00
|
|
|
|
const defaultKeysPre = [
|
2018-02-15 07:46:19 -05:00
|
|
|
|
[ [], [], [{ width: 1.5, level: 1, extraClassName: 'shift-key-lowercase' }], [{ label: '?123', width: 1.5, level: 2 }] ],
|
|
|
|
|
[ [], [], [{ width: 1.5, level: 0, extraClassName: 'shift-key-uppercase' }], [{ label: '?123', width: 1.5, level: 2 }] ],
|
2017-08-05 06:21:30 -04:00
|
|
|
|
[ [], [], [{ label: '=/<', width: 1.5, level: 3 }], [{ label: 'ABC', width: 1.5, level: 0 }] ],
|
|
|
|
|
[ [], [], [{ label: '?123', width: 1.5, level: 2 }], [{ label: 'ABC', width: 1.5, level: 0 }] ],
|
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
const defaultKeysPost = [
|
|
|
|
|
[ [{ label: '⌫', width: 1.5, keyval: Clutter.KEY_BackSpace }],
|
2018-02-15 07:46:19 -05:00
|
|
|
|
[{ width: 2, keyval: Clutter.KEY_Return, extraClassName: 'enter-key' }],
|
|
|
|
|
[{ width: 3, level: 1, right: true, extraClassName: 'shift-key-lowercase' }],
|
2017-12-22 10:02:51 -05:00
|
|
|
|
[{ label: '☻', action: 'emoji' }, { action: 'languageMenu', extraClassName: 'layout-key' }, { action: 'hide', extraClassName: 'hide-key' }] ],
|
2017-08-05 06:21:30 -04:00
|
|
|
|
[ [{ label: '⌫', width: 1.5, keyval: Clutter.KEY_BackSpace }],
|
2018-02-15 07:46:19 -05:00
|
|
|
|
[{ width: 2, keyval: Clutter.KEY_Return, extraClassName: 'enter-key' }],
|
|
|
|
|
[{ width: 3, level: 0, right: true, extraClassName: 'shift-key-uppercase' }],
|
2017-12-22 10:02:51 -05:00
|
|
|
|
[{ label: '☻', action: 'emoji' }, { action: 'languageMenu', extraClassName: 'layout-key' }, { action: 'hide', extraClassName: 'hide-key' }] ],
|
2017-08-05 06:21:30 -04:00
|
|
|
|
[ [{ label: '⌫', width: 1.5, keyval: Clutter.KEY_BackSpace }],
|
2018-02-15 07:46:19 -05:00
|
|
|
|
[{ width: 2, keyval: Clutter.KEY_Return, extraClassName: 'enter-key' }],
|
2017-08-05 06:21:30 -04:00
|
|
|
|
[{ label: '=/<', width: 3, level: 3, right: true }],
|
2017-12-22 10:02:51 -05:00
|
|
|
|
[{ label: '☻', action: 'emoji' }, { action: 'languageMenu', extraClassName: 'layout-key' }, { action: 'hide', extraClassName: 'hide-key' }] ],
|
2017-08-05 06:21:30 -04:00
|
|
|
|
[ [{ label: '⌫', width: 1.5, keyval: Clutter.KEY_BackSpace }],
|
2018-02-15 07:46:19 -05:00
|
|
|
|
[{ width: 2, keyval: Clutter.KEY_Return, extraClassName: 'enter-key' }],
|
2017-08-05 06:21:30 -04:00
|
|
|
|
[{ label: '?123', width: 3, level: 2, right: true }],
|
2017-12-22 10:02:51 -05:00
|
|
|
|
[{ label: '☻', action: 'emoji' }, { action: 'languageMenu', extraClassName: 'layout-key' }, { action: 'hide', extraClassName: 'hide-key' }] ],
|
2017-08-05 06:21:30 -04:00
|
|
|
|
];
|
|
|
|
|
|
2019-01-21 15:39:27 -05:00
|
|
|
|
var AspectContainer = GObject.registerClass(
|
|
|
|
|
class AspectContainer extends St.Widget {
|
|
|
|
|
_init(params) {
|
|
|
|
|
super._init(params);
|
|
|
|
|
this._ratio = 1;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
setRatio(relWidth, relHeight) {
|
|
|
|
|
this._ratio = relWidth / relHeight;
|
|
|
|
|
this.queue_relayout();
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
vfunc_allocate(box, flags) {
|
|
|
|
|
if (box.get_width() > 0 && box.get_height() > 0) {
|
|
|
|
|
let sizeRatio = box.get_width() / box.get_height();
|
|
|
|
|
|
|
|
|
|
if (sizeRatio >= this._ratio) {
|
|
|
|
|
/* Restrict horizontally */
|
|
|
|
|
let width = box.get_height() * this._ratio;
|
|
|
|
|
let diff = box.get_width() - width;
|
|
|
|
|
|
|
|
|
|
box.x1 += Math.floor(diff / 2);
|
|
|
|
|
box.x2 -= Math.ceil(diff / 2);
|
|
|
|
|
} else {
|
2019-03-05 13:33:49 -05:00
|
|
|
|
/* Restrict vertically, align to bottom */
|
2019-01-21 15:39:27 -05:00
|
|
|
|
let height = box.get_width() / this._ratio;
|
2019-03-05 13:33:49 -05:00
|
|
|
|
box.y1 = box.y2 - Math.floor(height);
|
2019-01-21 15:39:27 -05:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
super.vfunc_allocate(box, flags);
|
|
|
|
|
}
|
|
|
|
|
});
|
|
|
|
|
|
2019-01-31 14:38:24 -05:00
|
|
|
|
var KeyContainer = GObject.registerClass(
|
2017-10-30 21:23:39 -04:00
|
|
|
|
class KeyContainer extends St.Widget {
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_init() {
|
2017-12-20 07:08:50 -05:00
|
|
|
|
let gridLayout = new Clutter.GridLayout({ orientation: Clutter.Orientation.HORIZONTAL,
|
|
|
|
|
column_homogeneous: true,
|
|
|
|
|
row_homogeneous: true });
|
2017-12-22 10:02:51 -05:00
|
|
|
|
super._init({ layout_manager: gridLayout,
|
|
|
|
|
x_expand: true, y_expand: true });
|
2017-12-20 07:08:50 -05:00
|
|
|
|
this._gridLayout = gridLayout;
|
|
|
|
|
this._currentRow = 0;
|
|
|
|
|
this._currentCol = 0;
|
|
|
|
|
this._maxCols = 0;
|
|
|
|
|
|
|
|
|
|
this._currentRow = null;
|
|
|
|
|
this._rows = [];
|
2017-10-30 21:23:39 -04:00
|
|
|
|
}
|
2017-12-20 07:08:50 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
appendRow(length) {
|
2017-12-20 07:08:50 -05:00
|
|
|
|
this._currentRow++;
|
|
|
|
|
this._currentCol = 0;
|
|
|
|
|
|
|
|
|
|
let row = new Object();
|
|
|
|
|
row.keys = [];
|
|
|
|
|
row.width = 0;
|
|
|
|
|
this._rows.push(row);
|
2017-10-30 21:23:39 -04:00
|
|
|
|
}
|
2017-12-20 07:08:50 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
appendKey(key, width = 1, height = 1) {
|
2017-12-20 07:08:50 -05:00
|
|
|
|
let keyInfo = {
|
|
|
|
|
key,
|
|
|
|
|
left: this._currentCol,
|
|
|
|
|
top: this._currentRow,
|
|
|
|
|
width,
|
|
|
|
|
height
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
let row = this._rows[this._rows.length - 1];
|
|
|
|
|
row.keys.push(keyInfo);
|
|
|
|
|
row.width += width;
|
|
|
|
|
|
|
|
|
|
this._currentCol += width;
|
|
|
|
|
this._maxCols = Math.max(this._currentCol, this._maxCols);
|
2017-10-30 21:23:39 -04:00
|
|
|
|
}
|
2017-12-20 07:08:50 -05:00
|
|
|
|
|
2019-01-21 15:39:27 -05:00
|
|
|
|
layoutButtons(container) {
|
2017-12-20 07:08:50 -05:00
|
|
|
|
let nCol = 0, nRow = 0;
|
|
|
|
|
|
|
|
|
|
for (let i = 0; i < this._rows.length; i++) {
|
|
|
|
|
let row = this._rows[i];
|
|
|
|
|
|
|
|
|
|
/* When starting a new row, see if we need some padding */
|
|
|
|
|
if (nCol == 0) {
|
|
|
|
|
let diff = this._maxCols - row.width;
|
|
|
|
|
if (diff >= 1)
|
|
|
|
|
nCol = diff * KEY_SIZE / 2;
|
|
|
|
|
else
|
|
|
|
|
nCol = diff * KEY_SIZE;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
for (let j = 0; j < row.keys.length; j++) {
|
|
|
|
|
let keyInfo = row.keys[j];
|
|
|
|
|
let width = keyInfo.width * KEY_SIZE;
|
|
|
|
|
let height = keyInfo.height * KEY_SIZE;
|
|
|
|
|
|
|
|
|
|
this._gridLayout.attach(keyInfo.key, nCol, nRow, width, height);
|
|
|
|
|
nCol += width;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
nRow += KEY_SIZE;
|
|
|
|
|
nCol = 0;
|
|
|
|
|
}
|
2019-01-21 15:39:27 -05:00
|
|
|
|
|
|
|
|
|
if (container)
|
|
|
|
|
container.setRatio(this._maxCols, this._rows.length);
|
2017-12-20 07:08:50 -05:00
|
|
|
|
}
|
|
|
|
|
});
|
|
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
|
var Suggestions = class {
|
|
|
|
|
constructor() {
|
2017-12-06 07:46:02 -05:00
|
|
|
|
this.actor = new St.BoxLayout({ style_class: 'word-suggestions',
|
|
|
|
|
vertical: false });
|
|
|
|
|
this.actor.show();
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-12-06 07:46:02 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
add(word, callback) {
|
2017-12-06 07:46:02 -05:00
|
|
|
|
let button = new St.Button({ label: word });
|
|
|
|
|
button.connect('clicked', callback);
|
|
|
|
|
this.actor.add(button);
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-12-06 07:46:02 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
clear() {
|
2017-12-06 07:46:02 -05:00
|
|
|
|
this.actor.remove_all_children();
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
|
|
|
|
};
|
2017-12-06 07:46:02 -05:00
|
|
|
|
Signals.addSignalMethods(Suggestions.prototype);
|
|
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
|
var LanguageSelectionPopup = class extends PopupMenu.PopupMenu {
|
|
|
|
|
constructor(actor) {
|
|
|
|
|
super(actor, 0.5, St.Side.BOTTOM);
|
2018-01-23 10:45:46 -05:00
|
|
|
|
|
|
|
|
|
let inputSourceManager = InputSourceManager.getInputSourceManager();
|
|
|
|
|
let inputSources = inputSourceManager.inputSources;
|
|
|
|
|
|
2018-09-11 12:00:22 -04:00
|
|
|
|
let item;
|
2018-01-23 10:45:46 -05:00
|
|
|
|
for (let i in inputSources) {
|
|
|
|
|
let is = inputSources[i];
|
|
|
|
|
|
2018-09-11 12:00:22 -04:00
|
|
|
|
item = this.addAction(is.displayName, () => {
|
2018-01-23 10:45:46 -05:00
|
|
|
|
inputSourceManager.activateInputSource(is, true);
|
2017-10-30 20:38:18 -04:00
|
|
|
|
});
|
2018-09-11 12:00:22 -04:00
|
|
|
|
item.actor.can_focus = false;
|
2018-01-23 10:45:46 -05:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
this.addMenuItem(new PopupMenu.PopupSeparatorMenuItem());
|
2018-09-11 12:00:22 -04:00
|
|
|
|
item = this.addSettingsAction(_("Region & Language Settings"), 'gnome-region-panel.desktop');
|
|
|
|
|
item.actor.can_focus = false;
|
|
|
|
|
|
2018-01-23 10:45:46 -05:00
|
|
|
|
this._capturedEventId = 0;
|
|
|
|
|
|
2017-10-30 20:38:18 -04:00
|
|
|
|
this._unmapId = actor.connect('notify::mapped', () => {
|
2018-01-23 10:45:46 -05:00
|
|
|
|
if (!actor.is_mapped())
|
|
|
|
|
this.close(true);
|
2017-10-30 20:38:18 -04:00
|
|
|
|
});
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2018-01-23 10:45:46 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_onCapturedEvent(actor, event) {
|
2018-01-23 10:45:46 -05:00
|
|
|
|
if (event.get_source() == this.actor ||
|
|
|
|
|
this.actor.contains(event.get_source()))
|
|
|
|
|
return Clutter.EVENT_PROPAGATE;
|
|
|
|
|
|
|
|
|
|
if (event.type() == Clutter.EventType.BUTTON_RELEASE || event.type() == Clutter.EventType.TOUCH_END)
|
|
|
|
|
this.close(true);
|
|
|
|
|
|
|
|
|
|
return Clutter.EVENT_STOP;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2018-01-23 10:45:46 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
open(animate) {
|
2017-10-30 21:19:44 -04:00
|
|
|
|
super.open(animate);
|
2018-01-23 10:45:46 -05:00
|
|
|
|
this._capturedEventId = global.stage.connect('captured-event',
|
2017-12-01 19:27:35 -05:00
|
|
|
|
this._onCapturedEvent.bind(this));
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2018-01-23 10:45:46 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
close(animate) {
|
2017-10-30 21:19:44 -04:00
|
|
|
|
super.close(animate);
|
2018-01-23 10:45:46 -05:00
|
|
|
|
if (this._capturedEventId != 0) {
|
|
|
|
|
global.stage.disconnect(this._capturedEventId);
|
|
|
|
|
this._capturedEventId = 0;
|
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2018-01-23 10:45:46 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
destroy() {
|
2018-01-23 10:45:46 -05:00
|
|
|
|
if (this._capturedEventId != 0)
|
|
|
|
|
global.stage.disconnect(this._capturedEventId);
|
|
|
|
|
if (this._unmapId != 0)
|
|
|
|
|
this.sourceActor.disconnect(this._unmapId);
|
2017-10-30 21:19:44 -04:00
|
|
|
|
super.destroy();
|
|
|
|
|
}
|
|
|
|
|
};
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
|
var Key = class Key {
|
2019-01-29 18:19:52 -05:00
|
|
|
|
constructor(key, extendedKeys) {
|
2018-02-15 07:46:19 -05:00
|
|
|
|
this.key = key || "";
|
2018-02-11 10:19:10 -05:00
|
|
|
|
this.keyButton = this._makeKey(this.key);
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-08-05 06:21:30 -04:00
|
|
|
|
/* Add the key in a container, so keys can be padded without losing
|
|
|
|
|
* logical proportions between those.
|
|
|
|
|
*/
|
2018-02-11 10:19:10 -05:00
|
|
|
|
this.actor = new St.BoxLayout ({ style_class: 'key-container' });
|
|
|
|
|
this.actor.add(this.keyButton, { expand: true, x_fill: true });
|
2017-12-01 19:27:35 -05:00
|
|
|
|
this.actor.connect('destroy', this._onDestroy.bind(this));
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-08-05 06:21:30 -04:00
|
|
|
|
this._extended_keys = extendedKeys;
|
|
|
|
|
this._extended_keyboard = null;
|
|
|
|
|
this._pressTimeoutId = 0;
|
2017-12-22 09:59:19 -05:00
|
|
|
|
this._capturedPress = false;
|
2018-05-25 05:35:49 -04:00
|
|
|
|
|
2017-12-22 09:59:19 -05:00
|
|
|
|
this._capturedEventId = 0;
|
|
|
|
|
this._unmapId = 0;
|
2018-02-15 06:18:59 -05:00
|
|
|
|
this._longPress = false;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_onDestroy() {
|
2014-09-19 20:44:45 -04:00
|
|
|
|
if (this._boxPointer) {
|
2018-08-21 06:38:23 -04:00
|
|
|
|
this._boxPointer.destroy();
|
2014-09-19 20:44:45 -04:00
|
|
|
|
this._boxPointer = null;
|
|
|
|
|
}
|
2017-12-22 10:02:51 -05:00
|
|
|
|
|
|
|
|
|
this.cancel();
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2014-09-19 20:44:45 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_ensureExtendedKeysPopup() {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
if (this._extended_keys.length == 0)
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
this._boxPointer = new BoxPointer.BoxPointer(St.Side.BOTTOM,
|
|
|
|
|
{ x_fill: true,
|
|
|
|
|
y_fill: true,
|
|
|
|
|
x_align: St.Align.START });
|
2018-08-21 06:38:23 -04:00
|
|
|
|
this._boxPointer.hide();
|
2019-04-09 16:21:15 -04:00
|
|
|
|
Main.layoutManager.addChrome(this._boxPointer);
|
2018-02-11 10:19:10 -05:00
|
|
|
|
this._boxPointer.setPosition(this.keyButton, 0.5);
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
|
|
|
|
// Adds style to existing keyboard style to avoid repetition
|
2019-04-09 16:21:15 -04:00
|
|
|
|
this._boxPointer.add_style_class_name('keyboard-subkeys');
|
2017-08-05 06:21:30 -04:00
|
|
|
|
this._getExtendedKeys();
|
2018-02-11 10:19:10 -05:00
|
|
|
|
this.keyButton._extended_keys = this._extended_keyboard;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_getKeyval(key) {
|
2019-01-21 15:40:10 -05:00
|
|
|
|
let unicode = key.charCodeAt(0);
|
2018-11-26 07:39:57 -05:00
|
|
|
|
return Clutter.unicode_to_keysym(unicode);
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_press(key) {
|
2017-12-22 10:02:51 -05:00
|
|
|
|
this.emit('activated')
|
|
|
|
|
|
2017-08-05 06:21:30 -04:00
|
|
|
|
if (key != this.key || this._extended_keys.length == 0) {
|
2017-12-05 14:05:18 -05:00
|
|
|
|
this.emit('pressed', this._getKeyval(key), key);
|
2018-02-15 06:18:59 -05:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (key == this.key) {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
this._pressTimeoutId = GLib.timeout_add(GLib.PRIORITY_DEFAULT,
|
|
|
|
|
KEY_LONG_PRESS_TIME,
|
2017-10-30 20:38:18 -04:00
|
|
|
|
() => {
|
2018-02-15 06:18:59 -05:00
|
|
|
|
this._longPress = true;
|
2017-08-05 06:21:30 -04:00
|
|
|
|
this._pressTimeoutId = 0;
|
2018-02-15 06:18:59 -05:00
|
|
|
|
|
|
|
|
|
this.emit('long-press');
|
|
|
|
|
|
|
|
|
|
if (this._extended_keys.length > 0) {
|
|
|
|
|
this._touchPressed = false;
|
|
|
|
|
this.keyButton.set_hover(false);
|
|
|
|
|
this.keyButton.fake_release();
|
|
|
|
|
this._ensureExtendedKeysPopup();
|
|
|
|
|
this._showSubkeys();
|
|
|
|
|
}
|
|
|
|
|
|
2017-08-05 06:21:30 -04:00
|
|
|
|
return GLib.SOURCE_REMOVE;
|
2017-10-30 20:38:18 -04:00
|
|
|
|
});
|
2017-08-05 06:21:30 -04:00
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_release(key) {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
if (this._pressTimeoutId != 0) {
|
|
|
|
|
GLib.source_remove(this._pressTimeoutId);
|
|
|
|
|
this._pressTimeoutId = 0;
|
|
|
|
|
}
|
|
|
|
|
|
2018-02-15 06:18:59 -05:00
|
|
|
|
if (!this._longPress && key == this.key && this._extended_keys.length > 0)
|
|
|
|
|
this.emit('pressed', this._getKeyval(key), key);
|
|
|
|
|
|
2017-12-05 14:05:18 -05:00
|
|
|
|
this.emit('released', this._getKeyval(key), key);
|
2017-12-22 09:59:19 -05:00
|
|
|
|
this._hideSubkeys();
|
2018-02-15 06:18:59 -05:00
|
|
|
|
this._longPress = false;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-12-22 09:59:19 -05:00
|
|
|
|
|
2017-12-22 10:02:51 -05:00
|
|
|
|
cancel() {
|
|
|
|
|
if (this._pressTimeoutId != 0) {
|
|
|
|
|
GLib.source_remove(this._pressTimeoutId);
|
|
|
|
|
this._pressTimeoutId = 0;
|
|
|
|
|
}
|
|
|
|
|
this._touchPressed = false;
|
|
|
|
|
this.keyButton.set_hover(false);
|
|
|
|
|
this.keyButton.fake_release();
|
|
|
|
|
}
|
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_onCapturedEvent(actor, event) {
|
2017-12-22 09:59:19 -05:00
|
|
|
|
let type = event.type();
|
|
|
|
|
let press = (type == Clutter.EventType.BUTTON_PRESS || type == Clutter.EventType.TOUCH_BEGIN);
|
|
|
|
|
let release = (type == Clutter.EventType.BUTTON_RELEASE || type == Clutter.EventType.TOUCH_END);
|
|
|
|
|
|
|
|
|
|
if (event.get_source() == this._boxPointer.bin ||
|
|
|
|
|
this._boxPointer.bin.contains(event.get_source()))
|
|
|
|
|
return Clutter.EVENT_PROPAGATE;
|
|
|
|
|
|
|
|
|
|
if (press)
|
|
|
|
|
this._capturedPress = true;
|
|
|
|
|
else if (release && this._capturedPress)
|
|
|
|
|
this._hideSubkeys();
|
|
|
|
|
|
|
|
|
|
return Clutter.EVENT_STOP;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-12-22 09:59:19 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_showSubkeys() {
|
2018-08-21 06:29:44 -04:00
|
|
|
|
this._boxPointer.open(BoxPointer.PopupAnimation.FULL);
|
2017-12-22 09:59:19 -05:00
|
|
|
|
this._capturedEventId = global.stage.connect('captured-event',
|
2017-12-01 19:27:35 -05:00
|
|
|
|
this._onCapturedEvent.bind(this));
|
2017-10-30 20:38:18 -04:00
|
|
|
|
this._unmapId = this.keyButton.connect('notify::mapped', () => {
|
2018-02-11 10:19:10 -05:00
|
|
|
|
if (!this.keyButton.is_mapped())
|
2017-12-22 09:59:19 -05:00
|
|
|
|
this._hideSubkeys();
|
2017-10-30 20:38:18 -04:00
|
|
|
|
});
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-12-22 09:59:19 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_hideSubkeys() {
|
2017-12-22 09:59:19 -05:00
|
|
|
|
if (this._boxPointer)
|
2018-08-21 06:29:44 -04:00
|
|
|
|
this._boxPointer.close(BoxPointer.PopupAnimation.FULL);
|
2017-12-22 09:59:19 -05:00
|
|
|
|
if (this._capturedEventId) {
|
|
|
|
|
global.stage.disconnect(this._capturedEventId);
|
|
|
|
|
this._capturedEventId = 0;
|
|
|
|
|
}
|
|
|
|
|
if (this._unmapId) {
|
2018-02-11 10:19:10 -05:00
|
|
|
|
this.keyButton.disconnect(this._unmapId);
|
2017-12-22 09:59:19 -05:00
|
|
|
|
this._unmapId = 0;
|
|
|
|
|
}
|
|
|
|
|
this._capturedPress = false;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_makeKey(key) {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
let label = GLib.markup_escape_text(key, -1);
|
2011-08-29 11:11:22 -04:00
|
|
|
|
let button = new St.Button ({ label: label,
|
|
|
|
|
style_class: 'keyboard-key' });
|
|
|
|
|
|
2017-08-05 06:21:30 -04:00
|
|
|
|
button.keyWidth = 1;
|
2017-10-30 20:38:18 -04:00
|
|
|
|
button.connect('button-press-event', () => {
|
|
|
|
|
this._press(key);
|
|
|
|
|
return Clutter.EVENT_PROPAGATE;
|
|
|
|
|
});
|
|
|
|
|
button.connect('button-release-event', () => {
|
|
|
|
|
this._release(key);
|
|
|
|
|
return Clutter.EVENT_PROPAGATE;
|
|
|
|
|
});
|
|
|
|
|
button.connect('touch-event', (actor, event) => {
|
|
|
|
|
let device = event.get_device();
|
|
|
|
|
let sequence = event.get_event_sequence();
|
|
|
|
|
|
|
|
|
|
// We only handle touch events here on wayland. On X11
|
|
|
|
|
// we do get emulated pointer events, which already works
|
|
|
|
|
// for single-touch cases. Besides, the X11 passive touch grab
|
|
|
|
|
// set up by Mutter will make us see first the touch events
|
|
|
|
|
// and later the pointer events, so it will look like two
|
|
|
|
|
// unrelated series of events, we want to avoid double handling
|
|
|
|
|
// in these cases.
|
|
|
|
|
if (!Meta.is_wayland_compositor())
|
2013-11-29 13:17:34 -05:00
|
|
|
|
return Clutter.EVENT_PROPAGATE;
|
2017-10-30 20:38:18 -04:00
|
|
|
|
|
|
|
|
|
if (!this._touchPressed &&
|
|
|
|
|
event.type() == Clutter.EventType.TOUCH_BEGIN) {
|
|
|
|
|
this._touchPressed = true;
|
|
|
|
|
this._press(key);
|
|
|
|
|
} else if (this._touchPressed &&
|
2019-01-21 14:40:31 -05:00
|
|
|
|
event.type() == Clutter.EventType.TOUCH_END) {
|
2017-10-30 20:38:18 -04:00
|
|
|
|
this._touchPressed = false;
|
2017-08-05 06:21:30 -04:00
|
|
|
|
this._release(key);
|
2017-10-30 20:38:18 -04:00
|
|
|
|
}
|
|
|
|
|
return Clutter.EVENT_PROPAGATE;
|
|
|
|
|
});
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
|
|
|
|
return button;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_getExtendedKeys() {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
this._extended_keyboard = new St.BoxLayout({ style_class: 'key-container',
|
2011-08-29 11:11:22 -04:00
|
|
|
|
vertical: false });
|
|
|
|
|
for (let i = 0; i < this._extended_keys.length; ++i) {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
let extendedKey = this._extended_keys[i];
|
|
|
|
|
let key = this._makeKey(extendedKey);
|
2014-07-22 06:38:44 -04:00
|
|
|
|
|
2017-08-05 06:21:30 -04:00
|
|
|
|
key.extended_key = extendedKey;
|
2011-08-29 11:11:22 -04:00
|
|
|
|
this._extended_keyboard.add(key);
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
2018-02-11 10:19:10 -05:00
|
|
|
|
key.width = this.keyButton.width;
|
|
|
|
|
key.height = this.keyButton.height;
|
2011-08-29 11:11:22 -04:00
|
|
|
|
}
|
|
|
|
|
this._boxPointer.bin.add_actor(this._extended_keyboard);
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2012-11-10 16:47:57 -05:00
|
|
|
|
get subkeys() {
|
|
|
|
|
return this._boxPointer;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
setWidth(width) {
|
2018-02-11 10:19:10 -05:00
|
|
|
|
this.keyButton.keyWidth = width;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2018-02-15 08:48:46 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
setLatched(latched) {
|
2018-02-15 08:48:46 -05:00
|
|
|
|
if (latched)
|
|
|
|
|
this.keyButton.add_style_pseudo_class('latched');
|
|
|
|
|
else
|
|
|
|
|
this.keyButton.remove_style_pseudo_class('latched');
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
|
|
|
|
};
|
2017-08-05 06:21:30 -04:00
|
|
|
|
Signals.addSignalMethods(Key.prototype);
|
|
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
|
var KeyboardModel = class {
|
|
|
|
|
constructor(groupName) {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
try {
|
|
|
|
|
this._model = this._loadModel(groupName);
|
|
|
|
|
} catch (e) {
|
|
|
|
|
this._model = this._loadModel('us');
|
2011-08-29 11:11:22 -04:00
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_loadModel(groupName) {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
let file = Gio.File.new_for_uri('resource:///org/gnome/shell/osk-layouts/%s.json'.format(groupName));
|
|
|
|
|
let [success, contents] = file.load_contents(null);
|
2018-07-30 08:35:27 -04:00
|
|
|
|
if (contents instanceof Uint8Array)
|
|
|
|
|
contents = imports.byteArray.toString(contents);
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
|
|
|
|
return JSON.parse(contents);
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
getLevels() {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
return this._model.levels;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
getKeysForLevel(levelName) {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
return this._model.levels.find(level => level == levelName);
|
2011-08-29 11:11:22 -04:00
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
|
};
|
2018-05-25 05:35:49 -04:00
|
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
|
var FocusTracker = class {
|
|
|
|
|
constructor() {
|
2018-05-25 05:35:49 -04:00
|
|
|
|
this._currentWindow = null;
|
2018-09-17 15:04:48 -04:00
|
|
|
|
this._rect = null;
|
2018-05-25 05:35:49 -04:00
|
|
|
|
|
2018-07-11 12:46:49 -04:00
|
|
|
|
global.display.connect('notify::focus-window', () => {
|
|
|
|
|
this._setCurrentWindow(global.display.focus_window);
|
2018-05-25 05:35:49 -04:00
|
|
|
|
this.emit('window-changed', this._currentWindow);
|
|
|
|
|
});
|
|
|
|
|
|
2018-08-03 10:01:48 -04:00
|
|
|
|
global.display.connect('grab-op-begin', (display, window, op) => {
|
|
|
|
|
if (window == this._currentWindow &&
|
|
|
|
|
(op == Meta.GrabOp.MOVING || op == Meta.GrabOp.KEYBOARD_MOVING))
|
|
|
|
|
this.emit('reset');
|
|
|
|
|
});
|
|
|
|
|
|
2018-05-25 05:35:49 -04:00
|
|
|
|
/* Valid for wayland clients */
|
|
|
|
|
Main.inputMethod.connect('cursor-location-changed', (o, rect) => {
|
|
|
|
|
let newRect = { x: rect.get_x(), y: rect.get_y(), width: rect.get_width(), height: rect.get_height() };
|
|
|
|
|
this._setCurrentRect(newRect);
|
|
|
|
|
});
|
|
|
|
|
|
|
|
|
|
this._ibusManager = IBusManager.getIBusManager();
|
|
|
|
|
this._ibusManager.connect('set-cursor-location', (manager, rect) => {
|
|
|
|
|
/* Valid for X11 clients only */
|
|
|
|
|
if (Main.inputMethod.currentFocus)
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
this._setCurrentRect(rect);
|
|
|
|
|
});
|
2018-09-18 06:54:29 -04:00
|
|
|
|
this._ibusManager.connect('focus-in', () => {
|
|
|
|
|
this.emit('focus-changed', true);
|
|
|
|
|
});
|
|
|
|
|
this._ibusManager.connect('focus-out', () => {
|
|
|
|
|
this.emit('focus-changed', false);
|
|
|
|
|
});
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2018-05-25 05:35:49 -04:00
|
|
|
|
|
|
|
|
|
get currentWindow() {
|
|
|
|
|
return this._currentWindow;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2018-05-25 05:35:49 -04:00
|
|
|
|
|
|
|
|
|
_setCurrentWindow(window) {
|
|
|
|
|
this._currentWindow = window;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2018-05-25 05:35:49 -04:00
|
|
|
|
|
|
|
|
|
_setCurrentRect(rect) {
|
2018-07-16 19:36:38 -04:00
|
|
|
|
if (this._currentWindow) {
|
|
|
|
|
let frameRect = this._currentWindow.get_frame_rect();
|
|
|
|
|
rect.x -= frameRect.x;
|
|
|
|
|
rect.y -= frameRect.y;
|
|
|
|
|
}
|
2018-05-25 05:35:49 -04:00
|
|
|
|
|
2018-09-17 15:04:48 -04:00
|
|
|
|
if (this._rect &&
|
|
|
|
|
this._rect.x == rect.x &&
|
|
|
|
|
this._rect.y == rect.y &&
|
|
|
|
|
this._rect.width == rect.width &&
|
|
|
|
|
this._rect.height == rect.height)
|
|
|
|
|
return;
|
|
|
|
|
|
2018-05-25 05:35:49 -04:00
|
|
|
|
this._rect = rect;
|
|
|
|
|
this.emit('position-changed');
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2018-05-25 05:35:49 -04:00
|
|
|
|
|
|
|
|
|
getCurrentRect() {
|
2018-07-16 19:36:38 -04:00
|
|
|
|
let rect = { x: this._rect.x, y: this._rect.y,
|
|
|
|
|
width: this._rect.width, height: this._rect.height };
|
|
|
|
|
|
|
|
|
|
if (this._currentWindow) {
|
|
|
|
|
let frameRect = this._currentWindow.get_frame_rect();
|
|
|
|
|
rect.x += frameRect.x;
|
|
|
|
|
rect.y += frameRect.y;
|
|
|
|
|
}
|
2018-05-25 05:35:49 -04:00
|
|
|
|
|
|
|
|
|
return rect;
|
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
|
};
|
2018-05-25 05:35:49 -04:00
|
|
|
|
Signals.addSignalMethods(FocusTracker.prototype);
|
|
|
|
|
|
2017-12-22 10:02:51 -05:00
|
|
|
|
var EmojiPager = class EmojiPager {
|
|
|
|
|
constructor(sections, nCols, nRows) {
|
|
|
|
|
this.actor = new St.Widget({ layout_manager: new Clutter.BinLayout(),
|
|
|
|
|
reactive: true,
|
|
|
|
|
clip_to_allocation: true });
|
|
|
|
|
this._sections = sections;
|
|
|
|
|
this._nCols = nCols;
|
|
|
|
|
this._nRows = nRows;
|
|
|
|
|
|
|
|
|
|
this._pages = [];
|
|
|
|
|
this._panel = null;
|
|
|
|
|
this._curPage = null;
|
|
|
|
|
this._followingPage = null;
|
|
|
|
|
this._followingPanel = null;
|
|
|
|
|
this._currentKey = null;
|
|
|
|
|
this._delta = 0;
|
|
|
|
|
this._width = null;
|
|
|
|
|
|
|
|
|
|
this._initPagingInfo();
|
|
|
|
|
|
|
|
|
|
let panAction = new Clutter.PanAction({ interpolate: false });
|
|
|
|
|
panAction.connect('pan', this._onPan.bind(this));
|
|
|
|
|
panAction.connect('gesture-begin', this._onPanBegin.bind(this));
|
|
|
|
|
panAction.connect('gesture-cancel', this._onPanCancel.bind(this));
|
|
|
|
|
panAction.connect('gesture-end', this._onPanEnd.bind(this));
|
|
|
|
|
this._panAction = panAction;
|
|
|
|
|
this.actor.add_action(panAction);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
get delta() {
|
|
|
|
|
return this._delta;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
set delta(value) {
|
|
|
|
|
if (value > this._width)
|
|
|
|
|
value = this._width;
|
|
|
|
|
else if (value < -this._width)
|
|
|
|
|
value = -this._width;
|
|
|
|
|
|
|
|
|
|
this._delta = value;
|
|
|
|
|
|
|
|
|
|
if (value == 0)
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
let relValue = Math.abs(value / this._width);
|
|
|
|
|
let followingPage = this.getFollowingPage();
|
|
|
|
|
|
|
|
|
|
if (this._followingPage != followingPage) {
|
|
|
|
|
if (this._followingPanel) {
|
|
|
|
|
this._followingPanel.destroy();
|
|
|
|
|
this._followingPanel = null;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (followingPage != null) {
|
|
|
|
|
this._followingPanel = this._generatePanel(followingPage);
|
|
|
|
|
this._followingPanel.set_pivot_point(0.5, 0.5);
|
|
|
|
|
this.actor.add_child(this._followingPanel);
|
|
|
|
|
this.actor.set_child_below_sibling(this._followingPanel, this._panel);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
this._followingPage = followingPage;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
this._panel.translation_x = value;
|
|
|
|
|
this._panel.opacity = 255 * (1 - Math.pow(relValue, 3));
|
|
|
|
|
|
|
|
|
|
if (this._followingPanel) {
|
|
|
|
|
this._followingPanel.scale_x = 0.8 + (0.2 * relValue);
|
|
|
|
|
this._followingPanel.scale_y = 0.8 + (0.2 * relValue);
|
|
|
|
|
this._followingPanel.opacity = 255 * relValue;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
_prevPage(nPage) {
|
|
|
|
|
return (nPage + this._pages.length - 1) % this._pages.length;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
_nextPage(nPage) {
|
|
|
|
|
return (nPage + 1) % this._pages.length;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
getFollowingPage() {
|
|
|
|
|
if (this.delta == 0)
|
|
|
|
|
return null;
|
|
|
|
|
|
|
|
|
|
if ((this.delta < 0 && global.stage.text_direction == Clutter.TextDirection.LTR) ||
|
|
|
|
|
(this.delta > 0 && global.stage.text_direction == Clutter.TextDirection.RTL))
|
|
|
|
|
return this._nextPage(this._curPage);
|
|
|
|
|
else
|
|
|
|
|
return this._prevPage(this._curPage);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
_onPan(action) {
|
|
|
|
|
let [dist, dx, dy] = action.get_motion_delta(0);
|
|
|
|
|
this.delta = this.delta + dx;
|
|
|
|
|
|
|
|
|
|
if (this._currentKey != null) {
|
|
|
|
|
this._currentKey.cancel();
|
|
|
|
|
this._currentKey = null;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
return false;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
_onPanBegin() {
|
|
|
|
|
this._width = this.actor.width;
|
|
|
|
|
return true;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
_onPanEnd() {
|
|
|
|
|
if (Math.abs(this._delta) < this.actor.width * PANEL_SWITCH_RELATIVE_DISTANCE) {
|
|
|
|
|
this._onPanCancel()
|
|
|
|
|
} else {
|
|
|
|
|
let value;
|
|
|
|
|
if (this._delta > 0)
|
|
|
|
|
value = this._width;
|
|
|
|
|
else if (this._delta < 0)
|
|
|
|
|
value = -this._width;
|
|
|
|
|
|
|
|
|
|
let relDelta = Math.abs(this._delta - value) / this._width;
|
|
|
|
|
let time = PANEL_SWITCH_ANIMATION_TIME * Math.abs(relDelta);
|
|
|
|
|
|
|
|
|
|
Tweener.removeTweens(this);
|
|
|
|
|
Tweener.addTween(this,
|
|
|
|
|
{ delta: value,
|
|
|
|
|
time: time,
|
|
|
|
|
transition: 'easeInOutQuad',
|
|
|
|
|
onComplete() {
|
|
|
|
|
this.setCurrentPage(this.getFollowingPage());
|
|
|
|
|
}
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
_onPanCancel() {
|
|
|
|
|
let relDelta = Math.abs(this._delta) / this.actor.width;
|
|
|
|
|
let time = PANEL_SWITCH_ANIMATION_TIME * Math.abs(relDelta);
|
|
|
|
|
|
|
|
|
|
Tweener.removeTweens(this);
|
|
|
|
|
Tweener.addTween(this,
|
|
|
|
|
{ delta: 0,
|
|
|
|
|
time: time,
|
|
|
|
|
transition: 'easeInOutQuad',
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
_initPagingInfo() {
|
|
|
|
|
for (let i = 0; i < this._sections.length; i++) {
|
|
|
|
|
let section = this._sections[i];
|
|
|
|
|
let itemsPerPage = this._nCols * this._nRows;
|
|
|
|
|
let nPages = Math.ceil(section.keys.length / itemsPerPage);
|
|
|
|
|
let page = -1;
|
|
|
|
|
let pageKeys;
|
|
|
|
|
|
|
|
|
|
for (let j = 0; j < section.keys.length; j++) {
|
|
|
|
|
if (j % itemsPerPage == 0) {
|
|
|
|
|
page++;
|
|
|
|
|
pageKeys = [];
|
|
|
|
|
this._pages.push({ pageKeys, nPages, page, section: this._sections[i] });
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pageKeys.push(section.keys[j]);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
_lookupSection(section, nPage) {
|
|
|
|
|
for (let i = 0; i < this._pages.length; i++) {
|
|
|
|
|
let page = this._pages[i];
|
|
|
|
|
|
|
|
|
|
if (page.section == section && page.page == nPage)
|
|
|
|
|
return i;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
return -1;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
_generatePanel(nPage) {
|
|
|
|
|
let gridLayout = new Clutter.GridLayout({ orientation: Clutter.Orientation.HORIZONTAL,
|
|
|
|
|
column_homogeneous: true,
|
|
|
|
|
row_homogeneous: true });
|
|
|
|
|
let panel = new St.Widget({ layout_manager: gridLayout,
|
|
|
|
|
style_class: 'emoji-page',
|
|
|
|
|
x_expand: true,
|
|
|
|
|
y_expand: true });
|
|
|
|
|
|
|
|
|
|
/* Set an expander actor so all proportions are right despite the panel
|
|
|
|
|
* not having all rows/cols filled in.
|
|
|
|
|
*/
|
|
|
|
|
let expander = new Clutter.Actor();
|
|
|
|
|
gridLayout.attach(expander, 0, 0, this._nCols, this._nRows);
|
|
|
|
|
|
|
|
|
|
let page = this._pages[nPage];
|
|
|
|
|
let col = 0;
|
|
|
|
|
let row = 0;
|
|
|
|
|
|
|
|
|
|
for (let i = 0; i < page.pageKeys.length; i++) {
|
|
|
|
|
let modelKey = page.pageKeys[i];
|
|
|
|
|
let key = new Key(modelKey.label, modelKey.variants);
|
|
|
|
|
|
|
|
|
|
key.keyButton.set_button_mask(0);
|
|
|
|
|
|
|
|
|
|
key.connect('activated', () => {
|
|
|
|
|
this._currentKey = key;
|
|
|
|
|
});
|
|
|
|
|
key.connect('long-press', () => {
|
|
|
|
|
this._panAction.cancel();
|
|
|
|
|
});
|
|
|
|
|
key.connect('released', (actor, keyval, str) => {
|
|
|
|
|
if (this._currentKey != key)
|
|
|
|
|
return;
|
|
|
|
|
this._currentKey = null;
|
|
|
|
|
this.emit('emoji', str);
|
|
|
|
|
});
|
|
|
|
|
|
|
|
|
|
gridLayout.attach(key.actor, col, row, 1, 1);
|
|
|
|
|
|
|
|
|
|
col++;
|
|
|
|
|
if (col >= this._nCols) {
|
|
|
|
|
col = 0;
|
|
|
|
|
row++;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
return panel;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
setCurrentPage(nPage) {
|
|
|
|
|
if (this._curPage == nPage)
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
this._curPage = nPage;
|
|
|
|
|
|
|
|
|
|
if (this._panel) {
|
|
|
|
|
this._panel.destroy();
|
|
|
|
|
this._panel = null;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Reuse followingPage if possible */
|
|
|
|
|
if (nPage == this._followingPage) {
|
|
|
|
|
this._panel = this._followingPanel;
|
|
|
|
|
this._followingPanel = null;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
if (this._followingPanel)
|
|
|
|
|
this._followingPanel.destroy();
|
|
|
|
|
|
|
|
|
|
this._followingPanel = null;
|
|
|
|
|
this._followingPage = null;
|
|
|
|
|
this._delta = 0;
|
|
|
|
|
|
|
|
|
|
if (!this._panel) {
|
|
|
|
|
this._panel = this._generatePanel(nPage);
|
|
|
|
|
this.actor.add_child(this._panel);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
let page = this._pages[nPage];
|
|
|
|
|
this.emit('page-changed', page.section, page.page, page.nPages);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
setCurrentSection(section, nPage) {
|
|
|
|
|
for (let i = 0; i < this._pages.length; i++) {
|
|
|
|
|
let page = this._pages[i];
|
|
|
|
|
|
|
|
|
|
if (page.section == section && page.page == nPage) {
|
|
|
|
|
this.setCurrentPage(i);
|
|
|
|
|
break;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
};
|
|
|
|
|
Signals.addSignalMethods(EmojiPager.prototype);
|
|
|
|
|
|
|
|
|
|
var EmojiSelection = class EmojiSelection {
|
|
|
|
|
constructor() {
|
|
|
|
|
this._sections = [
|
|
|
|
|
{ first: 'grinning face', label: '🙂️' },
|
|
|
|
|
{ first: 'selfie', label: '👍️' },
|
|
|
|
|
{ first: 'monkey face', label: '🌷️' },
|
|
|
|
|
{ first: 'grapes', label: '🍴️' },
|
|
|
|
|
{ first: 'globe showing Europe-Africa', label: '✈️' },
|
|
|
|
|
{ first: 'jack-o-lantern', label: '🏃️' },
|
|
|
|
|
{ first: 'muted speaker', label: '🔔️' },
|
|
|
|
|
{ first: 'ATM sign', label: '❤️' },
|
|
|
|
|
{ first: 'chequered flag', label: '🚩️' },
|
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
this._populateSections();
|
|
|
|
|
|
|
|
|
|
this.actor = new St.BoxLayout({ style_class: 'emoji-panel',
|
|
|
|
|
x_expand: true,
|
|
|
|
|
y_expand: true,
|
|
|
|
|
vertical: true });
|
|
|
|
|
this.actor.connect('notify::mapped', () => { this._emojiPager.setCurrentPage(0); });
|
|
|
|
|
|
|
|
|
|
this._emojiPager = new EmojiPager(this._sections, 11, 3);
|
|
|
|
|
this._emojiPager.connect('page-changed', (pager, section, page, nPages) => {
|
|
|
|
|
this._onPageChanged(section, page, nPages);
|
|
|
|
|
});
|
|
|
|
|
this._emojiPager.connect('emoji', (pager, str) => {
|
|
|
|
|
this.emit('emoji-selected', str);
|
|
|
|
|
});
|
|
|
|
|
this.actor.add(this._emojiPager.actor, { expand: true });
|
|
|
|
|
|
|
|
|
|
this._pageIndicator = new PageIndicators.PageIndicators(false);
|
|
|
|
|
this.actor.add(this._pageIndicator, { expand: true, x_fill: false, y_fill: false });
|
|
|
|
|
this._pageIndicator.setReactive(false);
|
|
|
|
|
|
|
|
|
|
let bottomRow = this._createBottomRow();
|
2019-03-05 13:34:23 -05:00
|
|
|
|
this.actor.add(bottomRow, { expand: true, x_fill: false, y_fill: false });
|
2017-12-22 10:02:51 -05:00
|
|
|
|
|
|
|
|
|
this._emojiPager.setCurrentPage(0);
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
_onPageChanged(section, page, nPages) {
|
|
|
|
|
this._pageIndicator.setNPages(nPages);
|
|
|
|
|
this._pageIndicator.setCurrentPage(page);
|
|
|
|
|
|
|
|
|
|
for (let i = 0; i < this._sections.length; i++) {
|
|
|
|
|
let sect = this._sections[i];
|
|
|
|
|
sect.button.setLatched(section == sect);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
_findSection(emoji) {
|
|
|
|
|
for (let i = 0; i < this._sections.length; i++) {
|
|
|
|
|
if (this._sections[i].first == emoji)
|
|
|
|
|
return this._sections[i];
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
return null;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
_populateSections() {
|
|
|
|
|
let file = Gio.File.new_for_uri('resource:///org/gnome/shell/osk-layouts/emoji.json');
|
|
|
|
|
let [success, contents] = file.load_contents(null);
|
|
|
|
|
|
|
|
|
|
if (contents instanceof Uint8Array)
|
|
|
|
|
contents = imports.byteArray.toString(contents);
|
|
|
|
|
let emoji = JSON.parse(contents);
|
|
|
|
|
|
|
|
|
|
let pages = [];
|
|
|
|
|
let variants = [];
|
|
|
|
|
let currentKey = 0;
|
|
|
|
|
let currentSection = null;
|
|
|
|
|
|
|
|
|
|
for (let i = 0; i < emoji.length; i++) {
|
|
|
|
|
/* Group variants of a same emoji so they appear on the key popover */
|
|
|
|
|
if (emoji[i].name.startsWith(emoji[currentKey].name)) {
|
|
|
|
|
variants.push(emoji[i].char);
|
|
|
|
|
if (i < emoji.length - 1)
|
|
|
|
|
continue;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
let newSection = this._findSection(emoji[currentKey].name);
|
|
|
|
|
if (newSection != null) {
|
|
|
|
|
currentSection = newSection;
|
|
|
|
|
currentSection.keys = [];
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
/* Create the key */
|
|
|
|
|
let label = emoji[currentKey].char + String.fromCharCode(0xFE0F);
|
|
|
|
|
currentSection.keys.push({ label, variants });
|
|
|
|
|
currentKey = i;
|
|
|
|
|
variants = [];
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
_createBottomRow() {
|
|
|
|
|
let row = new KeyContainer();
|
|
|
|
|
let key;
|
|
|
|
|
|
|
|
|
|
row.appendRow();
|
|
|
|
|
|
|
|
|
|
key = new Key('ABC', []);
|
|
|
|
|
key.keyButton.add_style_class_name('default-key');
|
|
|
|
|
key.connect('released', () => { this.emit('toggle'); });
|
|
|
|
|
row.appendKey(key.actor, 1.5);
|
|
|
|
|
|
|
|
|
|
for (let i = 0; i < this._sections.length; i++) {
|
|
|
|
|
let section = this._sections[i];
|
|
|
|
|
|
|
|
|
|
key = new Key(section.label, []);
|
|
|
|
|
key.connect('released', () => { this._emojiPager.setCurrentSection(section, 0) });
|
|
|
|
|
row.appendKey(key.actor);
|
|
|
|
|
|
|
|
|
|
section.button = key;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
key = new Key(null, []);
|
|
|
|
|
key.keyButton.add_style_class_name('default-key');
|
|
|
|
|
key.keyButton.add_style_class_name('hide-key');
|
|
|
|
|
key.connect('released', () => {
|
|
|
|
|
this.emit('hide');
|
|
|
|
|
});
|
|
|
|
|
row.appendKey(key.actor);
|
|
|
|
|
row.layoutButtons();
|
|
|
|
|
|
2019-03-05 13:34:23 -05:00
|
|
|
|
let actor = new AspectContainer({ layout_manager: new Clutter.BinLayout(),
|
|
|
|
|
x_expand: true, y_expand: true });
|
|
|
|
|
actor.add_child(row);
|
|
|
|
|
/* Regular keyboard layouts are 11.5×4 grids, optimize for that
|
|
|
|
|
* at the moment. Ideally this should be as wide as the current
|
|
|
|
|
* keymap.
|
|
|
|
|
*/
|
|
|
|
|
actor.setRatio(11.5, 1);
|
|
|
|
|
|
|
|
|
|
return actor;
|
2017-12-22 10:02:51 -05:00
|
|
|
|
}
|
|
|
|
|
};
|
|
|
|
|
Signals.addSignalMethods(EmojiSelection.prototype);
|
|
|
|
|
|
2019-01-19 09:58:45 -05:00
|
|
|
|
var Keypad = class Keypad {
|
|
|
|
|
constructor() {
|
|
|
|
|
let keys = [
|
|
|
|
|
{ label: '1', keyval: Clutter.KEY_1, left: 0, top: 0 },
|
|
|
|
|
{ label: '2', keyval: Clutter.KEY_2, left: 1, top: 0 },
|
|
|
|
|
{ label: '3', keyval: Clutter.KEY_3, left: 2, top: 0 },
|
|
|
|
|
{ label: '4', keyval: Clutter.KEY_4, left: 0, top: 1 },
|
|
|
|
|
{ label: '5', keyval: Clutter.KEY_5, left: 1, top: 1 },
|
|
|
|
|
{ label: '6', keyval: Clutter.KEY_6, left: 2, top: 1 },
|
|
|
|
|
{ label: '7', keyval: Clutter.KEY_7, left: 0, top: 2 },
|
|
|
|
|
{ label: '8', keyval: Clutter.KEY_8, left: 1, top: 2 },
|
|
|
|
|
{ label: '9', keyval: Clutter.KEY_9, left: 2, top: 2 },
|
|
|
|
|
{ label: '0', keyval: Clutter.KEY_0, left: 1, top: 3 },
|
|
|
|
|
{ label: '⌫', keyval: Clutter.KEY_BackSpace, left: 3, top: 0 },
|
|
|
|
|
{ keyval: Clutter.KEY_Return, extraClassName: 'enter-key', left: 3, top: 1, height: 2 },
|
|
|
|
|
];
|
|
|
|
|
|
|
|
|
|
this.actor = new AspectContainer({ layout_manager: new Clutter.BinLayout(),
|
|
|
|
|
x_expand: true, y_expand: true });
|
|
|
|
|
|
|
|
|
|
let gridLayout = new Clutter.GridLayout({ orientation: Clutter.Orientation.HORIZONTAL,
|
|
|
|
|
column_homogeneous: true,
|
|
|
|
|
row_homogeneous: true });
|
|
|
|
|
this._box = new St.Widget({ layout_manager: gridLayout, x_expand: true, y_expand: true });
|
|
|
|
|
this.actor.add_child(this._box);
|
|
|
|
|
|
|
|
|
|
for (let i = 0; i < keys.length; i++) {
|
|
|
|
|
let cur = keys[i];
|
|
|
|
|
let key = new Key(cur.label || "", []);
|
|
|
|
|
|
|
|
|
|
if (keys[i].extraClassName)
|
|
|
|
|
key.keyButton.add_style_class_name(cur.extraClassName);
|
|
|
|
|
|
|
|
|
|
let w, h;
|
|
|
|
|
w = cur.width || 1;
|
|
|
|
|
h = cur.height || 1;
|
|
|
|
|
gridLayout.attach(key.actor, cur.left, cur.top, w, h);
|
|
|
|
|
|
|
|
|
|
key.connect('released', () => {
|
|
|
|
|
this.emit('keyval', cur.keyval);
|
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
};
|
|
|
|
|
Signals.addSignalMethods(Keypad.prototype);
|
|
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
|
var Keyboard = class Keyboard {
|
|
|
|
|
constructor() {
|
2011-09-01 11:01:48 -04:00
|
|
|
|
this.actor = null;
|
2012-09-24 14:03:53 -04:00
|
|
|
|
this._focusInExtendedKeys = false;
|
2017-12-22 10:02:51 -05:00
|
|
|
|
this._emojiActive = false;
|
2011-09-01 11:01:48 -04:00
|
|
|
|
|
2018-01-23 10:45:46 -05:00
|
|
|
|
this._languagePopup = null;
|
2017-10-11 03:58:58 -04:00
|
|
|
|
this._currentFocusWindow = null;
|
2018-05-25 05:35:49 -04:00
|
|
|
|
this._animFocusedWindow = null;
|
|
|
|
|
this._delayedAnimFocusWindow = null;
|
2017-01-16 10:21:01 -05:00
|
|
|
|
|
2017-10-09 06:51:08 -04:00
|
|
|
|
this._enableKeyboard = false; // a11y settings value
|
|
|
|
|
this._enabled = false; // enabled state (by setting or device type)
|
2018-02-15 06:20:51 -05:00
|
|
|
|
this._latched = false; // current level is latched
|
2017-10-09 06:51:08 -04:00
|
|
|
|
|
2014-06-24 15:17:09 -04:00
|
|
|
|
this._a11yApplicationsSettings = new Gio.Settings({ schema_id: A11Y_APPLICATIONS_SCHEMA });
|
2017-12-01 19:27:35 -05:00
|
|
|
|
this._a11yApplicationsSettings.connect('changed', this._syncEnabled.bind(this));
|
2015-03-10 12:49:56 -04:00
|
|
|
|
this._lastDeviceId = null;
|
2017-12-06 07:46:02 -05:00
|
|
|
|
this._suggestions = null;
|
2017-12-22 10:02:51 -05:00
|
|
|
|
this._emojiKeyVisible = true;
|
2015-03-10 12:49:56 -04:00
|
|
|
|
|
2018-05-25 05:35:49 -04:00
|
|
|
|
this._focusTracker = new FocusTracker();
|
|
|
|
|
this._focusTracker.connect('position-changed', this._onFocusPositionChanged.bind(this));
|
|
|
|
|
this._focusTracker.connect('reset', () => {
|
|
|
|
|
this._delayedAnimFocusWindow = null;
|
|
|
|
|
this._animFocusedWindow = null;
|
|
|
|
|
this._oskFocusWindow = null;
|
|
|
|
|
});
|
2018-09-18 06:54:29 -04:00
|
|
|
|
this._focusTracker.connect('focus-changed', (tracker, focused) => {
|
|
|
|
|
// Valid only for X11
|
|
|
|
|
if (Meta.is_wayland_compositor())
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
if (focused)
|
|
|
|
|
this.show(Main.layoutManager.focusIndex);
|
|
|
|
|
else
|
|
|
|
|
this.hide();
|
|
|
|
|
});
|
2018-05-25 05:35:49 -04:00
|
|
|
|
|
2017-10-30 20:38:18 -04:00
|
|
|
|
Meta.get_backend().connect('last-device-changed',
|
|
|
|
|
(backend, deviceId) => {
|
2015-03-10 12:49:56 -04:00
|
|
|
|
let manager = Clutter.DeviceManager.get_default();
|
|
|
|
|
let device = manager.get_device(deviceId);
|
|
|
|
|
|
|
|
|
|
if (device.get_device_name().indexOf('XTEST') < 0) {
|
|
|
|
|
this._lastDeviceId = deviceId;
|
2017-07-23 07:51:11 -04:00
|
|
|
|
this._syncEnabled();
|
2015-03-10 12:49:56 -04:00
|
|
|
|
}
|
2017-10-30 20:38:18 -04:00
|
|
|
|
});
|
2017-08-05 06:21:30 -04:00
|
|
|
|
this._syncEnabled();
|
2012-10-30 11:46:18 -04:00
|
|
|
|
|
|
|
|
|
this._showIdleId = 0;
|
2012-11-18 10:17:21 -05:00
|
|
|
|
|
|
|
|
|
this._keyboardVisible = false;
|
2017-10-30 20:38:18 -04:00
|
|
|
|
Main.layoutManager.connect('keyboard-visible-changed', (o, visible) => {
|
2012-11-18 10:17:21 -05:00
|
|
|
|
this._keyboardVisible = visible;
|
2017-10-30 20:38:18 -04:00
|
|
|
|
});
|
2012-11-18 10:17:21 -05:00
|
|
|
|
this._keyboardRequested = false;
|
|
|
|
|
this._keyboardRestingId = 0;
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-12-01 19:27:35 -05:00
|
|
|
|
Main.layoutManager.connect('monitors-changed', this._relayout.bind(this));
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-12-15 11:53:48 -05:00
|
|
|
|
get visible() {
|
|
|
|
|
return this._keyboardVisible;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-12-15 11:53:48 -05:00
|
|
|
|
|
2018-05-25 05:35:49 -04:00
|
|
|
|
_onFocusPositionChanged(focusTracker) {
|
|
|
|
|
let rect = focusTracker.getCurrentRect();
|
|
|
|
|
this.setCursorLocation(focusTracker.currentWindow, rect.x, rect.y, rect.width, rect.height);
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-01-16 10:21:01 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_lastDeviceIsTouchscreen() {
|
2015-03-10 12:49:56 -04:00
|
|
|
|
if (!this._lastDeviceId)
|
|
|
|
|
return false;
|
|
|
|
|
|
|
|
|
|
let manager = Clutter.DeviceManager.get_default();
|
|
|
|
|
let device = manager.get_device(this._lastDeviceId);
|
|
|
|
|
|
|
|
|
|
if (!device)
|
|
|
|
|
return false;
|
|
|
|
|
|
|
|
|
|
return device.get_device_type() == Clutter.InputDeviceType.TOUCHSCREEN_DEVICE;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2015-03-10 12:49:56 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_syncEnabled() {
|
2018-01-18 12:56:10 -05:00
|
|
|
|
let wasEnabled = this._enabled;
|
2017-10-09 06:51:08 -04:00
|
|
|
|
this._enableKeyboard = this._a11yApplicationsSettings.get_boolean(SHOW_KEYBOARD);
|
|
|
|
|
this._enabled = this._enableKeyboard || this._lastDeviceIsTouchscreen();
|
2017-08-05 06:21:30 -04:00
|
|
|
|
if (!this._enabled && !this._keyboardController)
|
2011-08-29 11:11:22 -04:00
|
|
|
|
return;
|
|
|
|
|
|
2017-08-05 06:21:30 -04:00
|
|
|
|
if (this._enabled && !this._keyboardController)
|
2017-10-09 06:53:04 -04:00
|
|
|
|
this._setupKeyboard();
|
2017-10-11 03:58:58 -04:00
|
|
|
|
else if (!this._enabled)
|
|
|
|
|
this.setCursorLocation(null);
|
2017-10-09 06:53:04 -04:00
|
|
|
|
|
2017-12-22 09:59:19 -05:00
|
|
|
|
if (!this._enabled && wasEnabled)
|
2017-07-23 07:51:11 -04:00
|
|
|
|
Main.layoutManager.hideKeyboard(true);
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_destroyKeyboard() {
|
2011-08-29 11:11:22 -04:00
|
|
|
|
if (this._keyboardNotifyId)
|
2017-08-05 06:21:30 -04:00
|
|
|
|
this._keyboardController.disconnect(this._keyboardNotifyId);
|
|
|
|
|
if (this._keyboardGroupsChangedId)
|
|
|
|
|
this._keyboardController.disconnect(this._keyboardGroupsChangedId);
|
2017-12-05 14:05:18 -05:00
|
|
|
|
if (this._keyboardStateId)
|
|
|
|
|
this._keyboardController.disconnect(this._keyboardStateId);
|
2017-12-22 10:02:51 -05:00
|
|
|
|
if (this._emojiKeyVisibleId)
|
|
|
|
|
this._keyboardController.disconnect(this._emojiKeyVisibleId);
|
2019-01-19 09:58:45 -05:00
|
|
|
|
if (this._keypadVisibleId)
|
|
|
|
|
this._keyboardController.disconnect(this._keypadVisibleId);
|
2011-08-29 11:11:22 -04:00
|
|
|
|
if (this._focusNotifyId)
|
|
|
|
|
global.stage.disconnect(this._focusNotifyId);
|
|
|
|
|
this._keyboard = null;
|
2011-09-01 11:01:48 -04:00
|
|
|
|
this.actor.destroy();
|
|
|
|
|
this.actor = null;
|
2018-01-23 10:45:46 -05:00
|
|
|
|
|
|
|
|
|
if (this._languagePopup) {
|
|
|
|
|
this._languagePopup.destroy();
|
|
|
|
|
this._languagePopup = null;
|
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_setupKeyboard() {
|
2011-09-01 11:01:48 -04:00
|
|
|
|
this.actor = new St.BoxLayout({ name: 'keyboard', vertical: true, reactive: true });
|
|
|
|
|
Main.layoutManager.keyboardBox.add_actor(this.actor);
|
|
|
|
|
Main.layoutManager.trackChrome(this.actor);
|
|
|
|
|
|
2017-08-05 06:21:30 -04:00
|
|
|
|
this._keyboardController = new KeyboardController();
|
|
|
|
|
|
2011-08-29 11:11:22 -04:00
|
|
|
|
this._groups = {};
|
|
|
|
|
this._current_page = null;
|
|
|
|
|
|
2017-12-06 07:46:02 -05:00
|
|
|
|
this._suggestions = new Suggestions();
|
|
|
|
|
this.actor.add(this._suggestions.actor,
|
|
|
|
|
{ x_align: St.Align.MIDDLE,
|
|
|
|
|
x_fill: false });
|
|
|
|
|
|
2019-01-21 15:39:27 -05:00
|
|
|
|
this._aspectContainer = new AspectContainer({ layout_manager: new Clutter.BinLayout() });
|
2017-12-22 10:02:51 -05:00
|
|
|
|
this.actor.add(this._aspectContainer, { expand: true });
|
|
|
|
|
|
|
|
|
|
this._emojiSelection = new EmojiSelection();
|
|
|
|
|
this._emojiSelection.connect('toggle', this._toggleEmoji.bind(this));
|
|
|
|
|
this._emojiSelection.connect('hide', (selection) => { this.hide(); });
|
|
|
|
|
this._emojiSelection.connect('emoji-selected', (selection, emoji) => {
|
|
|
|
|
this._keyboardController.commitString(emoji);
|
|
|
|
|
});
|
|
|
|
|
|
|
|
|
|
this._aspectContainer.add_child(this._emojiSelection.actor);
|
|
|
|
|
this._emojiSelection.actor.hide();
|
2019-01-21 15:39:27 -05:00
|
|
|
|
|
2019-01-19 09:58:45 -05:00
|
|
|
|
this._keypad = new Keypad();
|
|
|
|
|
this._keypad.connect('keyval', (keypad, keyval) => {
|
|
|
|
|
this._keyboardController.keyvalPress(keyval);
|
|
|
|
|
this._keyboardController.keyvalRelease(keyval);
|
|
|
|
|
});
|
|
|
|
|
this._aspectContainer.add_child(this._keypad.actor);
|
|
|
|
|
this._keypad.actor.hide();
|
|
|
|
|
this._keypadVisible = false;
|
|
|
|
|
|
2018-01-23 11:03:02 -05:00
|
|
|
|
this._ensureKeysForGroup(this._keyboardController.getCurrentGroup());
|
|
|
|
|
this._setActiveLayer(0);
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-08-05 06:21:30 -04:00
|
|
|
|
// Keyboard models are defined in LTR, we must override
|
|
|
|
|
// the locale setting in order to avoid flipping the
|
|
|
|
|
// keyboard on RTL locales.
|
2012-03-14 07:21:33 -04:00
|
|
|
|
this.actor.text_direction = Clutter.TextDirection.LTR;
|
|
|
|
|
|
2017-12-01 19:27:35 -05:00
|
|
|
|
this._keyboardNotifyId = this._keyboardController.connect('active-group', this._onGroupChanged.bind(this));
|
|
|
|
|
this._keyboardGroupsChangedId = this._keyboardController.connect('groups-changed', this._onKeyboardGroupsChanged.bind(this));
|
|
|
|
|
this._keyboardStateId = this._keyboardController.connect('panel-state', this._onKeyboardStateChanged.bind(this));
|
2017-12-22 10:02:51 -05:00
|
|
|
|
this._emojiKeyVisibleId = this._keyboardController.connect('emoji-visible', this._onEmojiKeyVisible.bind(this));
|
2019-01-19 09:58:45 -05:00
|
|
|
|
this._keypadVisibleId = this._keyboardController.connect('keypad-visible', this._onKeypadVisible.bind(this));
|
2017-12-01 19:27:35 -05:00
|
|
|
|
this._focusNotifyId = global.stage.connect('notify::key-focus', this._onKeyFocusChanged.bind(this));
|
2017-12-20 07:08:50 -05:00
|
|
|
|
|
|
|
|
|
this._relayout();
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_onKeyFocusChanged() {
|
2011-08-29 11:11:22 -04:00
|
|
|
|
let focus = global.stage.key_focus;
|
|
|
|
|
|
2011-10-11 17:54:05 -04:00
|
|
|
|
// Showing an extended key popup and clicking a key from the extended keys
|
|
|
|
|
// will grab focus, but ignore that
|
2012-09-24 14:03:53 -04:00
|
|
|
|
let extendedKeysWereFocused = this._focusInExtendedKeys;
|
|
|
|
|
this._focusInExtendedKeys = focus && (focus._extended_keys || focus.extended_key);
|
|
|
|
|
if (this._focusInExtendedKeys || extendedKeysWereFocused)
|
2011-08-29 11:11:22 -04:00
|
|
|
|
return;
|
|
|
|
|
|
2012-10-30 11:46:18 -04:00
|
|
|
|
if (!(focus instanceof Clutter.Text)) {
|
2017-01-16 10:36:21 -05:00
|
|
|
|
this.hide();
|
2012-10-30 11:46:18 -04:00
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
2014-04-10 13:26:52 -04:00
|
|
|
|
if (!this._showIdleId) {
|
2017-10-30 20:38:18 -04:00
|
|
|
|
this._showIdleId = GLib.idle_add(GLib.PRIORITY_DEFAULT_IDLE, () => {
|
|
|
|
|
this.show(Main.layoutManager.focusIndex);
|
|
|
|
|
return GLib.SOURCE_REMOVE;
|
|
|
|
|
});
|
2017-01-16 10:36:21 -05:00
|
|
|
|
GLib.Source.set_name_by_id(this._showIdleId, '[gnome-shell] this.show');
|
2014-04-10 13:26:52 -04:00
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_createLayersForGroup(groupName) {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
let keyboardModel = new KeyboardModel(groupName);
|
2013-02-17 22:01:04 -05:00
|
|
|
|
let layers = {};
|
2017-08-05 06:21:30 -04:00
|
|
|
|
let levels = keyboardModel.getLevels();
|
|
|
|
|
for (let i = 0; i < levels.length; i++) {
|
|
|
|
|
let currentLevel = levels[i];
|
|
|
|
|
/* There are keyboard maps which consist of 3 levels (no uppercase,
|
|
|
|
|
* basically). We however make things consistent by skipping that
|
|
|
|
|
* second level.
|
|
|
|
|
*/
|
|
|
|
|
let level = (i >= 1 && levels.length == 3) ? i + 1 : i;
|
2017-12-20 07:08:50 -05:00
|
|
|
|
|
|
|
|
|
let layout = new KeyContainer();
|
2018-02-15 08:48:46 -05:00
|
|
|
|
layout.shiftKeys = [];
|
|
|
|
|
|
2017-08-05 06:21:30 -04:00
|
|
|
|
this._loadRows(currentLevel, level, levels.length, layout);
|
|
|
|
|
layers[level] = layout;
|
2019-01-21 15:39:27 -05:00
|
|
|
|
this._aspectContainer.add_child(layout);
|
|
|
|
|
layout.layoutButtons(this._aspectContainer);
|
2013-02-17 22:01:04 -05:00
|
|
|
|
|
|
|
|
|
layout.hide();
|
|
|
|
|
}
|
2017-12-22 10:02:51 -05:00
|
|
|
|
|
2013-02-17 22:01:04 -05:00
|
|
|
|
return layers;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2013-02-17 22:01:04 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_ensureKeysForGroup(group) {
|
2018-01-23 11:03:02 -05:00
|
|
|
|
if (!this._groups[group])
|
|
|
|
|
this._groups[group] = this._createLayersForGroup(group);
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_addRowKeys(keys, layout) {
|
2011-08-29 11:11:22 -04:00
|
|
|
|
for (let i = 0; i < keys.length; ++i) {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
let key = keys[i];
|
|
|
|
|
let button = new Key(key.shift(), key);
|
|
|
|
|
|
|
|
|
|
/* Space key gets special width, dependent on the number of surrounding keys */
|
|
|
|
|
if (button.key == ' ')
|
|
|
|
|
button.setWidth(keys.length <= 3 ? 5 : 3);
|
|
|
|
|
|
2017-10-30 20:38:18 -04:00
|
|
|
|
button.connect('pressed', (actor, keyval, str) => {
|
2017-12-05 14:05:18 -05:00
|
|
|
|
if (!Main.inputMethod.currentFocus ||
|
|
|
|
|
!this._keyboardController.commitString(str, true)) {
|
|
|
|
|
if (keyval != 0) {
|
|
|
|
|
this._keyboardController.keyvalPress(keyval);
|
|
|
|
|
button._keyvalPress = true;
|
|
|
|
|
}
|
|
|
|
|
}
|
2017-10-30 20:38:18 -04:00
|
|
|
|
});
|
|
|
|
|
button.connect('released', (actor, keyval, str) => {
|
2017-12-05 14:05:18 -05:00
|
|
|
|
if (keyval != 0) {
|
|
|
|
|
if (button._keyvalPress)
|
|
|
|
|
this._keyboardController.keyvalRelease(keyval);
|
|
|
|
|
button._keyvalPress = false;
|
|
|
|
|
}
|
2018-02-15 06:20:51 -05:00
|
|
|
|
|
|
|
|
|
if (!this._latched)
|
|
|
|
|
this._setActiveLayer(0);
|
2017-10-30 20:38:18 -04:00
|
|
|
|
});
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
2018-02-11 10:19:10 -05:00
|
|
|
|
layout.appendKey(button.actor, button.keyButton.keyWidth);
|
2017-08-05 06:21:30 -04:00
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2012-11-10 16:47:57 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_popupLanguageMenu(keyActor) {
|
2018-01-23 10:45:46 -05:00
|
|
|
|
if (this._languagePopup)
|
|
|
|
|
this._languagePopup.destroy();
|
|
|
|
|
|
|
|
|
|
this._languagePopup = new LanguageSelectionPopup(keyActor);
|
|
|
|
|
Main.layoutManager.addChrome(this._languagePopup.actor);
|
|
|
|
|
this._languagePopup.open(true);
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2018-01-23 10:45:46 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_loadDefaultKeys(keys, layout, numLevels, numKeys) {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
let extraButton;
|
|
|
|
|
for (let i = 0; i < keys.length; i++) {
|
|
|
|
|
let key = keys[i];
|
|
|
|
|
let keyval = key.keyval;
|
|
|
|
|
let switchToLevel = key.level;
|
|
|
|
|
let action = key.action;
|
|
|
|
|
|
2017-12-22 10:02:51 -05:00
|
|
|
|
/* Skip emoji button if necessary */
|
|
|
|
|
if (!this._emojiKeyVisible && action == 'emoji')
|
|
|
|
|
continue;
|
|
|
|
|
|
2019-01-21 15:40:59 -05:00
|
|
|
|
extraButton = new Key(key.label || '', []);
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
2018-02-11 10:19:10 -05:00
|
|
|
|
extraButton.keyButton.add_style_class_name('default-key');
|
2017-08-05 06:21:30 -04:00
|
|
|
|
if (key.extraClassName != null)
|
2018-02-11 10:19:10 -05:00
|
|
|
|
extraButton.keyButton.add_style_class_name(key.extraClassName);
|
2017-08-05 06:21:30 -04:00
|
|
|
|
if (key.width != null)
|
|
|
|
|
extraButton.setWidth(key.width);
|
|
|
|
|
|
2018-02-11 10:19:10 -05:00
|
|
|
|
let actor = extraButton.keyButton;
|
2018-01-23 10:45:46 -05:00
|
|
|
|
|
2017-10-30 20:38:18 -04:00
|
|
|
|
extraButton.connect('pressed', () => {
|
2018-02-15 06:20:51 -05:00
|
|
|
|
if (switchToLevel != null) {
|
|
|
|
|
this._setActiveLayer(switchToLevel);
|
|
|
|
|
// Shift only gets latched on long press
|
|
|
|
|
this._latched = (switchToLevel != 1);
|
|
|
|
|
} else if (keyval != null) {
|
2018-02-14 06:39:27 -05:00
|
|
|
|
this._keyboardController.keyvalPress(keyval);
|
2018-02-15 06:20:51 -05:00
|
|
|
|
}
|
2017-10-30 20:38:18 -04:00
|
|
|
|
});
|
|
|
|
|
extraButton.connect('released', () => {
|
2018-02-15 06:20:51 -05:00
|
|
|
|
if (keyval != null)
|
2017-08-05 06:21:30 -04:00
|
|
|
|
this._keyboardController.keyvalRelease(keyval);
|
|
|
|
|
else if (action == 'hide')
|
|
|
|
|
this.hide();
|
2018-01-23 10:45:46 -05:00
|
|
|
|
else if (action == 'languageMenu')
|
|
|
|
|
this._popupLanguageMenu(actor);
|
2017-12-22 10:02:51 -05:00
|
|
|
|
else if (action == 'emoji')
|
|
|
|
|
this._toggleEmoji();
|
2017-10-30 20:38:18 -04:00
|
|
|
|
});
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
2018-02-15 08:48:46 -05:00
|
|
|
|
if (switchToLevel == 0) {
|
|
|
|
|
layout.shiftKeys.push(extraButton);
|
|
|
|
|
} else if (switchToLevel == 1) {
|
2017-10-30 20:38:18 -04:00
|
|
|
|
extraButton.connect('long-press', () => {
|
2018-02-15 06:20:51 -05:00
|
|
|
|
this._latched = true;
|
2018-02-15 08:48:46 -05:00
|
|
|
|
this._setCurrentLevelLatched(this._current_page, this._latched);
|
2017-10-30 20:38:18 -04:00
|
|
|
|
});
|
2018-02-15 06:20:51 -05:00
|
|
|
|
}
|
|
|
|
|
|
2017-08-05 06:21:30 -04:00
|
|
|
|
/* Fixup default keys based on the number of levels/keys */
|
2018-02-15 07:23:54 -05:00
|
|
|
|
if (switchToLevel == 1 && numLevels == 3) {
|
|
|
|
|
// Hide shift key if the keymap has no uppercase level
|
2017-08-05 06:21:30 -04:00
|
|
|
|
if (key.right) {
|
|
|
|
|
/* Only hide the key actor, so the container still takes space */
|
2018-02-11 10:19:10 -05:00
|
|
|
|
extraButton.keyButton.hide();
|
2017-08-05 06:21:30 -04:00
|
|
|
|
} else {
|
2018-02-11 10:19:10 -05:00
|
|
|
|
extraButton.actor.hide();
|
2017-08-05 06:21:30 -04:00
|
|
|
|
}
|
|
|
|
|
extraButton.setWidth(1.5);
|
|
|
|
|
} else if (key.right && numKeys > 8) {
|
|
|
|
|
extraButton.setWidth(2);
|
2018-02-15 07:23:54 -05:00
|
|
|
|
} else if (keyval == Clutter.KEY_Return && numKeys > 9) {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
extraButton.setWidth(1.5);
|
2017-12-22 10:02:51 -05:00
|
|
|
|
} else if (!this._emojiKeyVisible && (action == 'hide' || action == 'languageMenu')) {
|
|
|
|
|
extraButton.setWidth(1.5);
|
2011-08-29 11:11:22 -04:00
|
|
|
|
}
|
2017-12-20 07:08:50 -05:00
|
|
|
|
|
2018-02-11 10:19:10 -05:00
|
|
|
|
layout.appendKey(extraButton.actor, extraButton.keyButton.keyWidth);
|
2011-08-29 11:11:22 -04:00
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2019-01-19 09:58:45 -05:00
|
|
|
|
_updateCurrentPageVisible() {
|
|
|
|
|
if (this._current_page)
|
|
|
|
|
this._current_page.visible = !this._emojiActive && !this._keypadVisible;
|
|
|
|
|
}
|
|
|
|
|
|
2017-12-22 10:02:51 -05:00
|
|
|
|
_setEmojiActive(active) {
|
|
|
|
|
this._emojiActive = active;
|
|
|
|
|
this._emojiSelection.actor.visible = this._emojiActive;
|
2019-01-19 09:58:45 -05:00
|
|
|
|
this._updateCurrentPageVisible();
|
2017-12-22 10:02:51 -05:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
_toggleEmoji() {
|
|
|
|
|
this._setEmojiActive(!this._emojiActive);
|
|
|
|
|
}
|
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_setCurrentLevelLatched(layout, latched) {
|
2019-01-21 15:41:46 -05:00
|
|
|
|
for (let i = 0; i < layout.shiftKeys.length; i++) {
|
2018-02-15 08:48:46 -05:00
|
|
|
|
let key = layout.shiftKeys[i];
|
|
|
|
|
key.setLatched(latched);
|
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2018-02-15 08:48:46 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_getDefaultKeysForRow(row, numRows, level) {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
let pre, post;
|
|
|
|
|
|
|
|
|
|
/* The first 2 rows in defaultKeysPre/Post belong together with
|
|
|
|
|
* the first 2 rows on each keymap. On keymaps that have more than
|
|
|
|
|
* 4 rows, the last 2 default key rows must be respectively
|
|
|
|
|
* assigned to the 2 last keymap ones.
|
|
|
|
|
*/
|
|
|
|
|
if (row < 2) {
|
|
|
|
|
return [defaultKeysPre[level][row], defaultKeysPost[level][row]];
|
|
|
|
|
} else if (row >= numRows - 2) {
|
|
|
|
|
let defaultRow = row - (numRows - 2) + 2;
|
|
|
|
|
return [defaultKeysPre[level][defaultRow], defaultKeysPost[level][defaultRow]];
|
|
|
|
|
} else {
|
|
|
|
|
return [null, null];
|
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_mergeRowKeys(layout, pre, row, post, numLevels) {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
if (pre != null)
|
2017-12-20 07:08:50 -05:00
|
|
|
|
this._loadDefaultKeys(pre, layout, numLevels, row.length);
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
2017-12-20 07:08:50 -05:00
|
|
|
|
this._addRowKeys(row, layout);
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
|
|
|
|
if (post != null)
|
2017-12-20 07:08:50 -05:00
|
|
|
|
this._loadDefaultKeys(post, layout, numLevels, row.length);
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_loadRows(model, level, numLevels, layout) {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
let rows = model.rows;
|
2011-08-29 11:11:22 -04:00
|
|
|
|
for (let i = 0; i < rows.length; ++i) {
|
2017-12-20 07:08:50 -05:00
|
|
|
|
layout.appendRow();
|
2017-08-05 06:21:30 -04:00
|
|
|
|
let [pre, post] = this._getDefaultKeysForRow(i, rows.length, level);
|
2017-12-20 07:08:50 -05:00
|
|
|
|
this._mergeRowKeys (layout, pre, rows[i], post, numLevels);
|
2017-12-05 16:41:32 -05:00
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-12-05 16:41:32 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_getGridSlots() {
|
2017-12-05 16:41:32 -05:00
|
|
|
|
let numOfHorizSlots = 0, numOfVertSlots;
|
|
|
|
|
let rows = this._current_page.get_children();
|
|
|
|
|
numOfVertSlots = rows.length;
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
2017-12-05 16:41:32 -05:00
|
|
|
|
for (let i = 0; i < rows.length; ++i) {
|
|
|
|
|
let keyboard_row = rows[i];
|
|
|
|
|
let keys = keyboard_row.get_children();
|
|
|
|
|
|
|
|
|
|
numOfHorizSlots = Math.max(numOfHorizSlots, keys.length);
|
2011-08-29 11:11:22 -04:00
|
|
|
|
}
|
|
|
|
|
|
2017-12-05 16:41:32 -05:00
|
|
|
|
return [numOfHorizSlots, numOfVertSlots];
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_relayout() {
|
2012-10-14 12:57:45 -04:00
|
|
|
|
let monitor = Main.layoutManager.keyboardMonitor;
|
2017-10-11 06:59:19 -04:00
|
|
|
|
|
|
|
|
|
if (this.actor == null || monitor == null)
|
|
|
|
|
return;
|
|
|
|
|
|
2011-08-29 11:11:22 -04:00
|
|
|
|
let maxHeight = monitor.height / 3;
|
|
|
|
|
this.actor.width = monitor.width;
|
2017-12-20 07:08:50 -05:00
|
|
|
|
this.actor.height = maxHeight;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_onGroupChanged() {
|
2018-01-23 11:03:02 -05:00
|
|
|
|
this._ensureKeysForGroup(this._keyboardController.getCurrentGroup());
|
2017-08-05 06:21:30 -04:00
|
|
|
|
this._setActiveLayer(0);
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_onKeyboardGroupsChanged(keyboard) {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
this._groups = [];
|
2018-02-11 10:15:14 -05:00
|
|
|
|
this._onGroupChanged();
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2013-02-17 22:01:04 -05:00
|
|
|
|
|
2019-01-19 09:58:45 -05:00
|
|
|
|
_onKeypadVisible(controller, visible) {
|
|
|
|
|
if (visible == this._keypadVisible)
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
this._keypadVisible = visible;
|
|
|
|
|
this._keypad.actor.visible = this._keypadVisible;
|
|
|
|
|
this._updateCurrentPageVisible();
|
|
|
|
|
}
|
|
|
|
|
|
2017-12-22 10:02:51 -05:00
|
|
|
|
_onEmojiKeyVisible(controller, visible) {
|
|
|
|
|
if (visible == this._emojiKeyVisible)
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
this._emojiKeyVisible = visible;
|
|
|
|
|
/* Rebuild keyboard widgetry to include emoji button */
|
|
|
|
|
this._onKeyboardGroupsChanged();
|
|
|
|
|
}
|
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_onKeyboardStateChanged(controller, state) {
|
2017-12-05 14:05:18 -05:00
|
|
|
|
let enabled;
|
|
|
|
|
if (state == Clutter.InputPanelState.OFF)
|
|
|
|
|
enabled = false;
|
|
|
|
|
else if (state == Clutter.InputPanelState.ON)
|
|
|
|
|
enabled = true;
|
|
|
|
|
else if (state == Clutter.InputPanelState.TOGGLE)
|
|
|
|
|
enabled = (this._keyboardVisible == false);
|
|
|
|
|
else
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
if (enabled)
|
|
|
|
|
this.show(Main.layoutManager.focusIndex);
|
|
|
|
|
else
|
|
|
|
|
this.hide();
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-12-05 14:05:18 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_setActiveLayer(activeLevel) {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
let activeGroupName = this._keyboardController.getCurrentGroup();
|
|
|
|
|
let layers = this._groups[activeGroupName];
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
|
|
|
|
if (this._current_page != null) {
|
2018-02-15 08:48:46 -05:00
|
|
|
|
this._setCurrentLevelLatched(this._current_page, false);
|
2011-08-29 11:11:22 -04:00
|
|
|
|
this._current_page.hide();
|
|
|
|
|
}
|
|
|
|
|
|
2017-08-05 06:21:30 -04:00
|
|
|
|
this._current_page = layers[activeLevel];
|
2019-01-19 09:58:45 -05:00
|
|
|
|
this._updateCurrentPageVisible();
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
shouldTakeEvent(event) {
|
2012-09-21 10:58:03 -04:00
|
|
|
|
let actor = event.get_source();
|
|
|
|
|
return Main.layoutManager.keyboardBox.contains(actor) ||
|
2017-06-13 00:49:07 -04:00
|
|
|
|
!!actor._extended_keys || !!actor.extended_key;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2012-09-21 10:58:03 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_clearKeyboardRestTimer() {
|
2012-11-18 10:17:21 -05:00
|
|
|
|
if (!this._keyboardRestingId)
|
|
|
|
|
return;
|
|
|
|
|
GLib.source_remove(this._keyboardRestingId);
|
|
|
|
|
this._keyboardRestingId = 0;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2012-11-18 10:17:21 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
show(monitor) {
|
2017-10-09 06:51:08 -04:00
|
|
|
|
if (!this._enabled)
|
2017-01-16 10:36:21 -05:00
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
this._clearShowIdle();
|
2012-11-18 10:17:21 -05:00
|
|
|
|
this._keyboardRequested = true;
|
|
|
|
|
|
|
|
|
|
if (this._keyboardVisible) {
|
|
|
|
|
if (monitor != Main.layoutManager.keyboardIndex) {
|
|
|
|
|
Main.layoutManager.keyboardIndex = monitor;
|
2017-12-20 07:08:50 -05:00
|
|
|
|
this._relayout();
|
2012-11-18 10:17:21 -05:00
|
|
|
|
}
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
this._clearKeyboardRestTimer();
|
|
|
|
|
this._keyboardRestingId = GLib.timeout_add(GLib.PRIORITY_DEFAULT,
|
|
|
|
|
KEYBOARD_REST_TIME,
|
2017-10-30 20:38:18 -04:00
|
|
|
|
() => {
|
2012-11-18 10:17:21 -05:00
|
|
|
|
this._clearKeyboardRestTimer();
|
|
|
|
|
this._show(monitor);
|
2013-11-28 19:45:39 -05:00
|
|
|
|
return GLib.SOURCE_REMOVE;
|
2017-10-30 20:38:18 -04:00
|
|
|
|
});
|
2014-04-10 13:26:52 -04:00
|
|
|
|
GLib.Source.set_name_by_id(this._keyboardRestingId, '[gnome-shell] this._clearKeyboardRestTimer');
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2012-11-18 10:17:21 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_show(monitor) {
|
2012-11-18 10:17:21 -05:00
|
|
|
|
if (!this._keyboardRequested)
|
|
|
|
|
return;
|
|
|
|
|
|
2012-10-14 12:57:45 -04:00
|
|
|
|
Main.layoutManager.keyboardIndex = monitor;
|
2017-12-20 07:08:50 -05:00
|
|
|
|
this._relayout();
|
2011-08-29 11:11:22 -04:00
|
|
|
|
Main.layoutManager.showKeyboard();
|
2018-05-25 05:35:49 -04:00
|
|
|
|
|
2017-12-22 10:02:51 -05:00
|
|
|
|
this._setEmojiActive(false);
|
|
|
|
|
|
2018-05-25 05:35:49 -04:00
|
|
|
|
if (this._delayedAnimFocusWindow) {
|
|
|
|
|
this._setAnimationWindow(this._delayedAnimFocusWindow);
|
|
|
|
|
this._delayedAnimFocusWindow = null;
|
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
hide() {
|
2017-10-09 06:51:08 -04:00
|
|
|
|
if (!this._enabled)
|
2017-01-16 10:36:21 -05:00
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
this._clearShowIdle();
|
2012-11-18 10:17:21 -05:00
|
|
|
|
this._keyboardRequested = false;
|
|
|
|
|
|
|
|
|
|
if (!this._keyboardVisible)
|
|
|
|
|
return;
|
|
|
|
|
|
|
|
|
|
this._clearKeyboardRestTimer();
|
|
|
|
|
this._keyboardRestingId = GLib.timeout_add(GLib.PRIORITY_DEFAULT,
|
|
|
|
|
KEYBOARD_REST_TIME,
|
2017-10-30 20:38:18 -04:00
|
|
|
|
() => {
|
2012-11-18 10:17:21 -05:00
|
|
|
|
this._clearKeyboardRestTimer();
|
|
|
|
|
this._hide();
|
2013-11-28 19:45:39 -05:00
|
|
|
|
return GLib.SOURCE_REMOVE;
|
2017-10-30 20:38:18 -04:00
|
|
|
|
});
|
2014-04-10 13:26:52 -04:00
|
|
|
|
GLib.Source.set_name_by_id(this._keyboardRestingId, '[gnome-shell] this._clearKeyboardRestTimer');
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2012-11-18 10:17:21 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_hide() {
|
2012-11-18 10:17:21 -05:00
|
|
|
|
if (this._keyboardRequested)
|
|
|
|
|
return;
|
|
|
|
|
|
2011-08-29 11:11:22 -04:00
|
|
|
|
Main.layoutManager.hideKeyboard();
|
2017-10-11 03:58:58 -04:00
|
|
|
|
this.setCursorLocation(null);
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_hideSubkeys() {
|
2012-11-10 16:47:57 -05:00
|
|
|
|
if (this._subkeysBoxPointer) {
|
|
|
|
|
this._subkeysBoxPointer.hide(BoxPointer.PopupAnimation.FULL);
|
|
|
|
|
this._subkeysBoxPointer = null;
|
|
|
|
|
}
|
|
|
|
|
if (this._capturedEventId) {
|
|
|
|
|
this.actor.disconnect(this._capturedEventId);
|
|
|
|
|
this._capturedEventId = 0;
|
|
|
|
|
}
|
|
|
|
|
this._capturedPress = false;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2012-11-10 16:47:57 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
resetSuggestions() {
|
2017-12-06 07:46:02 -05:00
|
|
|
|
if (this._suggestions)
|
|
|
|
|
this._suggestions.clear();
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-12-06 07:46:02 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
addSuggestion(text, callback) {
|
2017-12-06 07:46:02 -05:00
|
|
|
|
if (!this._suggestions)
|
|
|
|
|
return;
|
|
|
|
|
this._suggestions.add(text, callback);
|
|
|
|
|
this._suggestions.actor.show();
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-12-06 07:46:02 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_clearShowIdle() {
|
2012-10-30 11:46:18 -04:00
|
|
|
|
if (!this._showIdleId)
|
|
|
|
|
return;
|
|
|
|
|
GLib.source_remove(this._showIdleId);
|
|
|
|
|
this._showIdleId = 0;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2012-10-30 11:46:18 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_windowSlideAnimationComplete(window, delta) {
|
2017-10-11 03:58:58 -04:00
|
|
|
|
// Synchronize window and actor positions again.
|
|
|
|
|
let windowActor = window.get_compositor_private();
|
|
|
|
|
let frameRect = window.get_frame_rect();
|
|
|
|
|
frameRect.y += delta;
|
|
|
|
|
window.move_frame(true, frameRect.x, frameRect.y);
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-10-11 03:58:58 -04:00
|
|
|
|
|
2018-05-25 05:35:49 -04:00
|
|
|
|
_animateWindow(window, show) {
|
2017-10-11 03:58:58 -04:00
|
|
|
|
let windowActor = window.get_compositor_private();
|
2018-05-25 05:35:49 -04:00
|
|
|
|
let deltaY = Main.layoutManager.keyboardBox.height;
|
2017-10-11 03:58:58 -04:00
|
|
|
|
if (!windowActor)
|
2011-09-27 14:55:38 -04:00
|
|
|
|
return;
|
|
|
|
|
|
2017-10-11 03:58:58 -04:00
|
|
|
|
if (show) {
|
|
|
|
|
Tweener.addTween(windowActor,
|
|
|
|
|
{ y: windowActor.y - deltaY,
|
|
|
|
|
time: Layout.KEYBOARD_ANIMATION_TIME,
|
|
|
|
|
transition: 'easeOutQuad',
|
|
|
|
|
onComplete: this._windowSlideAnimationComplete,
|
|
|
|
|
onCompleteParams: [window, -deltaY] });
|
|
|
|
|
} else {
|
|
|
|
|
Tweener.addTween(windowActor,
|
|
|
|
|
{ y: windowActor.y + deltaY,
|
|
|
|
|
time: Layout.KEYBOARD_ANIMATION_TIME,
|
|
|
|
|
transition: 'easeInQuad',
|
|
|
|
|
onComplete: this._windowSlideAnimationComplete,
|
|
|
|
|
onCompleteParams: [window, deltaY] });
|
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2011-08-29 11:11:22 -04:00
|
|
|
|
|
2018-05-25 05:35:49 -04:00
|
|
|
|
_setAnimationWindow(window) {
|
|
|
|
|
if (this._animFocusedWindow == window)
|
2011-09-27 14:55:38 -04:00
|
|
|
|
return;
|
|
|
|
|
|
2018-05-25 05:35:49 -04:00
|
|
|
|
if (this._animFocusedWindow)
|
|
|
|
|
this._animateWindow(this._animFocusedWindow, false);
|
|
|
|
|
if (window)
|
|
|
|
|
this._animateWindow(window, true);
|
2017-10-11 03:58:58 -04:00
|
|
|
|
|
2018-05-25 05:35:49 -04:00
|
|
|
|
this._animFocusedWindow = window;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-10-11 03:58:58 -04:00
|
|
|
|
|
2018-05-25 05:35:49 -04:00
|
|
|
|
setCursorLocation(window, x, y , w, h) {
|
|
|
|
|
let monitor = Main.layoutManager.keyboardMonitor;
|
2017-10-11 03:58:58 -04:00
|
|
|
|
|
2018-05-25 05:35:49 -04:00
|
|
|
|
if (window && monitor) {
|
2017-10-11 03:58:58 -04:00
|
|
|
|
let keyboardHeight = Main.layoutManager.keyboardBox.height;
|
2018-05-25 05:35:49 -04:00
|
|
|
|
let focusObscured = false;
|
2017-10-11 03:58:58 -04:00
|
|
|
|
|
2018-05-25 05:35:49 -04:00
|
|
|
|
if (y + h >= monitor.y + monitor.height - keyboardHeight) {
|
|
|
|
|
if (this._keyboardVisible)
|
|
|
|
|
this._setAnimationWindow(window);
|
|
|
|
|
else
|
|
|
|
|
this._delayedAnimFocusWindow = window;
|
|
|
|
|
} else if (y < keyboardHeight) {
|
|
|
|
|
this._delayedAnimFocusWindow = null;
|
|
|
|
|
this._setAnimationWindow(null);
|
|
|
|
|
}
|
|
|
|
|
} else {
|
|
|
|
|
this._setAnimationWindow(null);
|
2017-10-11 03:58:58 -04:00
|
|
|
|
}
|
2018-05-25 05:35:49 -04:00
|
|
|
|
|
|
|
|
|
this._oskFocusWindow = window;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
|
|
|
|
};
|
2015-04-02 18:18:07 -04:00
|
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
|
var KeyboardController = class {
|
|
|
|
|
constructor() {
|
2016-07-20 11:50:55 -04:00
|
|
|
|
let deviceManager = Clutter.DeviceManager.get_default();
|
|
|
|
|
this._virtualDevice = deviceManager.create_virtual_device(Clutter.InputDeviceType.KEYBOARD_DEVICE);
|
|
|
|
|
|
|
|
|
|
this._inputSourceManager = InputSourceManager.getInputSourceManager();
|
|
|
|
|
this._sourceChangedId = this._inputSourceManager.connect('current-source-changed',
|
2017-12-01 19:27:35 -05:00
|
|
|
|
this._onSourceChanged.bind(this));
|
2016-07-20 11:50:55 -04:00
|
|
|
|
this._sourcesModifiedId = this._inputSourceManager.connect ('sources-changed',
|
2017-12-01 19:27:35 -05:00
|
|
|
|
this._onSourcesModified.bind(this));
|
2017-08-05 06:21:30 -04:00
|
|
|
|
this._currentSource = this._inputSourceManager.currentSource;
|
2017-12-05 14:05:18 -05:00
|
|
|
|
|
2017-12-01 19:27:35 -05:00
|
|
|
|
Main.inputMethod.connect('notify::content-purpose',
|
|
|
|
|
this._onContentPurposeHintsChanged.bind(this));
|
|
|
|
|
Main.inputMethod.connect('notify::content-hints',
|
|
|
|
|
this._onContentPurposeHintsChanged.bind(this));
|
2017-10-30 20:38:18 -04:00
|
|
|
|
Main.inputMethod.connect('input-panel-state', (o, state) => {
|
|
|
|
|
this.emit('panel-state', state);
|
|
|
|
|
});
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2016-07-20 11:50:55 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_onSourcesModified() {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
this.emit('groups-changed');
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2016-07-20 11:50:55 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_onSourceChanged(inputSourceManager, oldSource) {
|
2016-07-20 11:50:55 -04:00
|
|
|
|
let source = inputSourceManager.currentSource;
|
2017-08-05 06:21:30 -04:00
|
|
|
|
this._currentSource = source;
|
|
|
|
|
this.emit('active-group', source.id);
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2016-07-20 11:50:55 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
_onContentPurposeHintsChanged(method) {
|
2017-12-05 14:05:18 -05:00
|
|
|
|
let hints = method.content_hints;
|
|
|
|
|
let purpose = method.content_purpose;
|
2017-12-22 10:02:51 -05:00
|
|
|
|
let emojiVisible = false;
|
2019-01-19 09:58:45 -05:00
|
|
|
|
let keypadVisible = false;
|
2017-12-22 10:02:51 -05:00
|
|
|
|
|
|
|
|
|
if (purpose == Clutter.InputContentPurpose.NORMAL ||
|
|
|
|
|
purpose == Clutter.InputContentPurpose.ALPHA ||
|
|
|
|
|
purpose == Clutter.InputContentPurpose.PASSWORD ||
|
|
|
|
|
purpose == Clutter.InputContentPurpose.TERMINAL)
|
|
|
|
|
emojiVisible = true;
|
2019-01-19 09:58:45 -05:00
|
|
|
|
if (purpose == Clutter.InputContentPurpose.DIGITS ||
|
|
|
|
|
purpose == Clutter.InputContentPurpose.NUMBER ||
|
|
|
|
|
purpose == Clutter.InputContentPurpose.PHONE)
|
|
|
|
|
keypadVisible = true;
|
2017-12-22 10:02:51 -05:00
|
|
|
|
|
|
|
|
|
this.emit('emoji-visible', emojiVisible)
|
2019-01-19 09:58:45 -05:00
|
|
|
|
this.emit('keypad-visible', keypadVisible);
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-12-05 14:05:18 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
getGroups() {
|
2016-07-20 11:50:55 -04:00
|
|
|
|
let inputSources = this._inputSourceManager.inputSources;
|
|
|
|
|
let groups = []
|
|
|
|
|
|
|
|
|
|
for (let i in inputSources) {
|
|
|
|
|
let is = inputSources[i];
|
2017-08-05 06:21:30 -04:00
|
|
|
|
groups[is.index] = is.xkbId;
|
2016-07-20 11:50:55 -04:00
|
|
|
|
}
|
|
|
|
|
|
2017-08-05 06:21:30 -04:00
|
|
|
|
return groups;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-08-05 06:21:30 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
getCurrentGroup() {
|
2017-08-05 06:21:30 -04:00
|
|
|
|
return this._currentSource.xkbId;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2016-07-20 11:50:55 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
commitString(string, fromKey) {
|
2017-12-05 14:05:18 -05:00
|
|
|
|
if (string == null)
|
|
|
|
|
return false;
|
|
|
|
|
/* Let ibus methods fall through keyval emission */
|
|
|
|
|
if (fromKey && this._currentSource.type == InputSourceManager.INPUT_SOURCE_TYPE_IBUS)
|
|
|
|
|
return false;
|
|
|
|
|
|
|
|
|
|
Main.inputMethod.commit(string);
|
|
|
|
|
return true;
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2017-12-05 14:05:18 -05:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
keyvalPress(keyval) {
|
2016-07-20 11:50:55 -04:00
|
|
|
|
this._virtualDevice.notify_keyval(Clutter.get_current_event_time(),
|
|
|
|
|
keyval, Clutter.KeyState.PRESSED);
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
2015-04-02 18:18:07 -04:00
|
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
|
keyvalRelease(keyval) {
|
2016-07-20 11:50:55 -04:00
|
|
|
|
this._virtualDevice.notify_keyval(Clutter.get_current_event_time(),
|
|
|
|
|
keyval, Clutter.KeyState.RELEASED);
|
2017-10-30 21:19:44 -04:00
|
|
|
|
}
|
|
|
|
|
};
|
2017-08-05 06:21:30 -04:00
|
|
|
|
Signals.addSignalMethods(KeyboardController.prototype);
|