Расширение Gnome говорит об изменении Meta.keybindings_set_custom_handler. Что это такое и как его изменить?

После того, как Ubuntu переключился на Gnome, я установил расширение workspace-grid Gnome, чтобы иметь сетку рабочих областей, подобных Unity. Хотя я могу переключаться влево и вправо с помощью клавиши Ctrl + Alt + левая / правая стрелка, перемещение вверх и вниз более сложно. Мне нужно использовать клавишу function + super + up / down. Это связано с необходимостью переключения ключей для одного и того же действия. Кроме того, в некоторых приложениях, таких как Chrome, нажатие клавиши «+ super + вверх / вниз» прокручивается вниз, вместо изменения рабочего пространства. Я хотел бы сменить стрелку вверх / вниз на клавишу ctrl + alt + вверх / вниз.

Глядя на реплика github для расширения, он говорит:

Рабочие пространства могут быть измененный пользователем несколькими способами, и способы переопределения этого расширения: keybindings (Main.wm.setKeybindingHandler (GNOME 3.2), Meta.keybindings_set_custom_handler (GNOME 3.4))

Итак, что такое Meta.keybindings_set_custom_handler и как мне его настроить?

1
задан 20 February 2018 в 16:53

2 ответа

Meta.keybindings_set_custom_handler относится к исходному коду gnome3 - это не «настройка» в нормальном смысле.

Это функция в исходном коде gnome-shell в javascript, см. здесь

setCustomKeybindingHandler: function(name, modes, handler) { if (Meta.keybindings_set_custom_handler(name, handler)) this.allowKeybinding(name, modes); },

или в использовании, см. здесь

function enable() { Meta.keybindings_set_custom_handler('switch-group', _doSwitchDesktop); Meta.keybindings_set_custom_handler('switch-group-backward', _doSwitchDesktop); } function disable() { Meta.keybindings_set_custom_handler('switch-group', Lang.bind(Main.wm, Main.wm._startAppSwitcher)); Meta.keybindings_set_custom_handler('switch-group-backward', Lang.bind(Main.wm, Main.wm._startAppSwitcher)); }

Если вы пишете собственное расширение или переписываете существующий, вы можете «установить» его - если вы будет.

0
ответ дан 17 July 2018 в 20:26

Meta.keybindings_set_custom_handler относится к исходному коду gnome3 - это не «настройка» в нормальном смысле.

Это функция в исходном коде gnome-shell в javascript, см. здесь

setCustomKeybindingHandler: function(name, modes, handler) { if (Meta.keybindings_set_custom_handler(name, handler)) this.allowKeybinding(name, modes); },

или в использовании, см. здесь

function enable() { Meta.keybindings_set_custom_handler('switch-group', _doSwitchDesktop); Meta.keybindings_set_custom_handler('switch-group-backward', _doSwitchDesktop); } function disable() { Meta.keybindings_set_custom_handler('switch-group', Lang.bind(Main.wm, Main.wm._startAppSwitcher)); Meta.keybindings_set_custom_handler('switch-group-backward', Lang.bind(Main.wm, Main.wm._startAppSwitcher)); }

Если вы пишете собственное расширение или переписываете существующий, вы можете «установить» его - если вы будет.

0
ответ дан 23 July 2018 в 21:05
  • 1
    Я повторил этот ответ из дублированного вопроса – Robert Riedl 21 February 2018 в 11:46

Другие вопросы по тегам:

Похожие вопросы: