Как изменить сочетание клавиш расширения Gnome? [dубликат]
Решено использовать это:
sudo cd /etc/apt
sudo mv sources.list sources.list.ok
sudo echo <<EOF
deb mirror://mirrors.ubuntu.com/mirrors.txt xenial main restricted universe multiverse
deb mirror://mirrors.ubuntu.com/mirrors.txt xenial-updates main restricted universe multiverse
deb mirror://mirrors.ubuntu.com/mirrors.txt xenial-backports main restricted universe multiverse
deb mirror://mirrors.ubuntu.com/mirrors.txt xenial-security main restricted universe multiverse
EOF > sources.list
sudo apt-get clean
sudo apt-get update
После обновления и обновления вы можете вернуть исходные файлы sources.list в исходное состояние !!
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));
}
Если вы пишете собственное расширение или переписываете существующий, вы можете «установить» его - если вы будет.
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));
}
Если вы пишете собственное расширение или переписываете существующий, вы можете «установить» его - если вы будет.
-
1Это не дает ответа на вопрос. Чтобы критиковать или просить разъяснения у автора, оставьте комментарий ниже их сообщения. - Из обзора – RoVo 20 February 2018 в 19:58
-
2@RoVo, я еще пояснил в редакции, что это не просто параметр, который OP может переключать, а скорее функция в js. Мне жаль, что я не могу не переписать расширение на потребности OP, но это было не то, что было задано для . – Robert Riedl 20 February 2018 в 20:17