Ubuntu 17.10 GNOME ctrl + shift + v no terminal aciona a mudança de idioma

Question

Eu uso Ctrl + Deslocamento para alterar o layout do teclado e Ctrl + Deslocamento + v no terminal.
Nunca foi um problema com o Unity, mas agora a tecla Ctrl + Shift muda imediatamente o idioma para que eu não possa usá-lo para outros atalhos. Existe uma maneira de resolver isso para o GNOME sem alterar esses atalhos?

    

Answer 1

É conhecido o bug feio - veja o bug da barra de lançamento 1245473 .

Estou escrevendo isso do Ubuntu 16.04.3 LTS com o MATE DE. Não tem esse problema.
Estou usando o alternador de layout Ctrl + Shift para idiomas inglês e russo.
Não vejo interferência aqui.

Mas o MATE no Ubuntu 17.10 tem esse problema - veja outro bug do launchpad 1720364 .

Minha posição completa está escrita no comentário 528 para o bug 1218322 na barra de lançamento .