web-dev-qa-db-fra.com

Remapper Ctrl + PageUp, Ctrl + PageDown (changer d'onglet dans gnome)

Dans gnome-Shell, si vous le faites Ctrl+Page Down, vous pouvez passer à l'onglet précédent. Cependant, lorsque je suis sur un ordinateur portable, il n'y a pas Page Down et Page Up clés. Donc, je voudrais mapper cette combinaison de touches à quelque chose comme Alt+{ et Alt+}.

J'ai essayé de le faire dans les Paramètres système de gnome-Shell, sous Raccourcis personnalisés. J'ai défini la commande à exécuter comme xdotool key Ctrl+Prior et xdotool key Ctrl+Next. Si j'exécute cette commande à une invite de terminal, cela change les onglets comme prévu. Cependant, en le faisant comme un raccourci clavier, il semble qu'il n'exécute jamais xdotool.

J'ai également essayé de le faire avec xbindkeys, mais il semble juste qu'il ne fonctionne pas xdotool.

Existe-t-il un meilleur moyen de mapper ces clés dans gnome-shell?

gnomeshortcut-keyskey-bindingxdotool
1
intargc

Le code de liaison de touches commence à la ligne 558 (peut être différent dans votre système), dans le fichier /usr/share/gnome-Shell/js/ui/viewSelector.js.

Je le rebondis Ctrl - Tab et Ctrl - s (et je me demande comment le lier à Ctrl - Shift - Tab)

    } else if (modifiers & Clutter.ModifierType.CONTROL_MASK) {
        if (symbol == Clutter.s) {
            if (!this._searchTab.active)
                this._prevTab();
            return true;
        } else if (symbol == Clutter.Tab) {
            if (!this._searchTab.active)
                this._nextTab();
            return true;
        }
4
fwh