2014-02-14 10:11:28 -05:00
|
|
|
// -*- mode: js; js-indent-level: 4; indent-tabs-mode: nil -*-
|
2019-01-31 09:07:06 -05:00
|
|
|
/* exported getKeyboardManager, holdKeyboard, releaseKeyboard */
|
2014-02-14 10:11:28 -05:00
|
|
|
|
2023-06-08 00:52:46 -04:00
|
|
|
const GLib = imports.gi.GLib;
|
|
|
|
const GnomeDesktop = imports.gi.GnomeDesktop;
|
2014-02-14 10:11:28 -05:00
|
|
|
|
|
|
|
const Main = imports.ui.main;
|
|
|
|
|
2017-07-18 13:47:27 -04:00
|
|
|
var DEFAULT_LOCALE = 'en_US';
|
|
|
|
var DEFAULT_LAYOUT = 'us';
|
|
|
|
var DEFAULT_VARIANT = '';
|
2014-06-05 12:47:48 -04:00
|
|
|
|
2014-02-14 10:11:28 -05:00
|
|
|
let _xkbInfo = null;
|
|
|
|
|
2023-07-30 08:56:59 -04:00
|
|
|
/**
|
|
|
|
* @returns {GnomeDesktop.XkbInfo}
|
|
|
|
*/
|
2014-02-14 10:11:28 -05:00
|
|
|
function getXkbInfo() {
|
|
|
|
if (_xkbInfo == null)
|
|
|
|
_xkbInfo = new GnomeDesktop.XkbInfo();
|
|
|
|
return _xkbInfo;
|
|
|
|
}
|
|
|
|
|
|
|
|
let _keyboardManager = null;
|
|
|
|
|
2023-07-30 08:56:59 -04:00
|
|
|
/**
|
|
|
|
* @returns {KeyboardManager}
|
|
|
|
*/
|
2014-02-14 10:11:28 -05:00
|
|
|
function getKeyboardManager() {
|
|
|
|
if (_keyboardManager == null)
|
|
|
|
_keyboardManager = new KeyboardManager();
|
|
|
|
return _keyboardManager;
|
|
|
|
}
|
|
|
|
|
|
|
|
function releaseKeyboard() {
|
|
|
|
if (Main.modalCount > 0)
|
|
|
|
global.display.unfreeze_keyboard(global.get_current_time());
|
|
|
|
else
|
|
|
|
global.display.ungrab_keyboard(global.get_current_time());
|
|
|
|
}
|
|
|
|
|
|
|
|
function holdKeyboard() {
|
2014-10-13 00:52:56 -04:00
|
|
|
global.display.freeze_keyboard(global.get_current_time());
|
2014-02-14 10:11:28 -05:00
|
|
|
}
|
|
|
|
|
2017-10-30 21:19:44 -04:00
|
|
|
var KeyboardManager = class {
|
|
|
|
constructor() {
|
|
|
|
// The XKB protocol doesn't allow for more that 4 layouts in a
|
|
|
|
// keymap. Wayland doesn't impose this limit and libxkbcommon can
|
|
|
|
// handle up to 32 layouts but since we need to support X clients
|
|
|
|
// even as a Wayland compositor, we can't bump this.
|
|
|
|
this.MAX_LAYOUTS_PER_GROUP = 4;
|
2014-02-14 10:11:28 -05:00
|
|
|
|
2014-06-05 12:47:48 -04:00
|
|
|
this._xkbInfo = getXkbInfo();
|
|
|
|
this._current = null;
|
|
|
|
this._localeLayoutInfo = this._getLocaleLayout();
|
|
|
|
this._layoutInfos = {};
|
2018-10-22 18:06:36 -04:00
|
|
|
this._currentKeymap = null;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2014-02-14 10:11:28 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_applyLayoutGroup(group) {
|
2014-06-05 12:47:48 -04:00
|
|
|
let options = this._buildOptionsString();
|
|
|
|
let [layouts, variants] = this._buildGroupStrings(group);
|
2018-10-22 18:06:36 -04:00
|
|
|
|
|
|
|
if (this._currentKeymap &&
|
|
|
|
this._currentKeymap.layouts == layouts &&
|
|
|
|
this._currentKeymap.variants == variants &&
|
|
|
|
this._currentKeymap.options == options)
|
|
|
|
return;
|
|
|
|
|
2019-01-28 20:27:05 -05:00
|
|
|
this._currentKeymap = { layouts, variants, options };
|
2020-04-21 12:04:56 -04:00
|
|
|
global.backend.set_keymap(layouts, variants, options);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2014-02-14 10:11:28 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_applyLayoutGroupIndex(idx) {
|
2020-04-21 12:04:56 -04:00
|
|
|
global.backend.lock_layout_group(idx);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2014-06-05 12:47:48 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
apply(id) {
|
2014-06-05 12:47:48 -04:00
|
|
|
let info = this._layoutInfos[id];
|
|
|
|
if (!info)
|
|
|
|
return;
|
|
|
|
|
|
|
|
if (this._current && this._current.group == info.group) {
|
|
|
|
if (this._current.groupIndex != info.groupIndex)
|
|
|
|
this._applyLayoutGroupIndex(info.groupIndex);
|
|
|
|
} else {
|
|
|
|
this._applyLayoutGroup(info.group);
|
|
|
|
this._applyLayoutGroupIndex(info.groupIndex);
|
|
|
|
}
|
|
|
|
|
|
|
|
this._current = info;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2014-06-05 12:47:48 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
reapply() {
|
2014-06-05 12:47:48 -04:00
|
|
|
if (!this._current)
|
|
|
|
return;
|
|
|
|
|
|
|
|
this._applyLayoutGroup(this._current.group);
|
|
|
|
this._applyLayoutGroupIndex(this._current.groupIndex);
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2014-06-05 12:47:48 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
setUserLayouts(ids) {
|
2014-06-05 12:47:48 -04:00
|
|
|
this._current = null;
|
|
|
|
this._layoutInfos = {};
|
|
|
|
|
|
|
|
for (let i = 0; i < ids.length; ++i) {
|
|
|
|
let [found, , , _layout, _variant] = this._xkbInfo.get_layout_info(ids[i]);
|
|
|
|
if (found)
|
|
|
|
this._layoutInfos[ids[i]] = { id: ids[i], layout: _layout, variant: _variant };
|
|
|
|
}
|
|
|
|
|
|
|
|
let i = 0;
|
|
|
|
let group = [];
|
|
|
|
for (let id in this._layoutInfos) {
|
|
|
|
// We need to leave one slot on each group free so that we
|
|
|
|
// can add a layout containing the symbols for the
|
|
|
|
// language used in UI strings to ensure that toolkits can
|
|
|
|
// handle mnemonics like Alt+Ф even if the user is
|
|
|
|
// actually typing in a different layout.
|
|
|
|
let groupIndex = i % (this.MAX_LAYOUTS_PER_GROUP - 1);
|
|
|
|
if (groupIndex == 0)
|
|
|
|
group = [];
|
|
|
|
|
|
|
|
let info = this._layoutInfos[id];
|
|
|
|
group[groupIndex] = info;
|
|
|
|
info.group = group;
|
|
|
|
info.groupIndex = groupIndex;
|
|
|
|
|
|
|
|
i += 1;
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2014-06-05 12:47:48 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_getLocaleLayout() {
|
2014-06-05 12:47:48 -04:00
|
|
|
let locale = GLib.get_language_names()[0];
|
2018-07-14 16:56:22 -04:00
|
|
|
if (!locale.includes('_'))
|
2014-06-05 12:47:48 -04:00
|
|
|
locale = DEFAULT_LOCALE;
|
|
|
|
|
|
|
|
let [found, , id] = GnomeDesktop.get_input_source_from_locale(locale);
|
|
|
|
if (!found)
|
|
|
|
[, , id] = GnomeDesktop.get_input_source_from_locale(DEFAULT_LOCALE);
|
|
|
|
|
2017-02-09 21:12:59 -05:00
|
|
|
let _layout, _variant;
|
|
|
|
[found, , , _layout, _variant] = this._xkbInfo.get_layout_info(id);
|
2014-06-05 12:47:48 -04:00
|
|
|
if (found)
|
|
|
|
return { layout: _layout, variant: _variant };
|
|
|
|
else
|
|
|
|
return { layout: DEFAULT_LAYOUT, variant: DEFAULT_VARIANT };
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2014-06-05 12:47:48 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_buildGroupStrings(_group) {
|
2014-06-05 12:47:48 -04:00
|
|
|
let group = _group.concat(this._localeLayoutInfo);
|
2017-10-30 20:38:18 -04:00
|
|
|
let layouts = group.map(g => g.layout).join(',');
|
|
|
|
let variants = group.map(g => g.variant).join(',');
|
2014-06-05 12:47:48 -04:00
|
|
|
return [layouts, variants];
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2014-06-05 12:47:48 -04:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
setKeyboardOptions(options) {
|
2014-06-05 12:47:48 -04:00
|
|
|
this._xkbOptions = options;
|
2017-10-30 21:19:44 -04:00
|
|
|
}
|
2014-02-14 10:11:28 -05:00
|
|
|
|
2017-10-30 20:03:21 -04:00
|
|
|
_buildOptionsString() {
|
2014-06-05 12:47:48 -04:00
|
|
|
let options = this._xkbOptions.join(',');
|
|
|
|
return options;
|
2014-02-14 10:11:28 -05:00
|
|
|
}
|
2021-03-15 02:50:31 -04:00
|
|
|
|
|
|
|
get currentLayout() {
|
|
|
|
return this._current;
|
|
|
|
}
|
2017-10-30 21:19:44 -04:00
|
|
|
};
|