Gnome-Shellの場合、 Ctrl+Page Down、前のタブに切り替えることができます。ただし、ラップトップを使用している場合、 Page Down そして Page Up キー。したがって、私はこのキーの組み合わせを次のようなものにマッピングしたいと思います Alt+{ そして Alt+}。
カスタムショートカットの下のgnome-Shellのシステム設定でこれを試してみました。コマンドをxdotool key Ctrl+Prior
およびxdotool key Ctrl+Next
として実行するように設定しました。このコマンドをターミナルプロンプトで実行すると、期待どおりにタブが切り替わります。ただし、キーボードショートカットとして実行すると、xdotool
が実行されないようです。
これをxbindkeys
でも試してみましたが、xdotool
が実行されていないようです。
Gnome-shellでこれらのキーをマップするより良い方法はありますか?
キーバインドのコードは、/usr/share/gnome-Shell/js/ui/viewSelector.js
ファイルの558行目(システムによって異なる場合があります)から始まります。
私はそれをリバウンドします Ctrl - Tab そして Ctrl - s (そしてそれをどのようにバインドするのか疑問に思っています 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;
}