O código para keybinding começa na linha 558 (pode ser diferente no seu sistema),
no arquivo /usr/share/gnome-shell/js/ui/viewSelector.js
.
Eu a rebotei para Ctrl - Tab e Ctrl - s (e estou querendo saber como ligar para Ctrl - Deslocar - Separador )
} 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;
}