a janela do terminal vim fica distorcida depois de alternar a guia

1

Meu vim sempre fica distorcido depois que eu alterno entre as guias no terminal.

A exibição correta

Aexibiçãodistorcida

Isso sempre acontece quando eu volto para a guia vim e volto ao normal depois de pressionar um movimento como j ou k.

    
por Bobby 30.04.2017 / 20:46

1 resposta

2

Por acaso, você tem tamanhos de fonte diferentes nas outras guias?

Ao alternar entre guias de tamanhos de fonte diferentes em% / gnome-terminal maximizadas / tela cheia, ocorrem problemas de dimensionamento estranhos. O emulador de terminal deseja redimensionar-se (para manter o mesmo número de células de caracteres que você pode ver com janelas não maximizadas; manter o mesmo número de pixels não poderia trabalhar junto com redimensionamentos alinhados à grade), mas, por outro lado, a janela o gerenciador recua e reverte a tentativa de redimensionamento do emulador de terminal. Isso gera dois eventos de redimensionamento consecutivos back-n-forth em direção ao aplicativo cliente. Veja por exemplo link .

Nesse meio tempo, vimos vários relatos de erros em emuladores de terminal nos quais, eventualmente, foi descoberto que mate-terminal não consegue lidar corretamente com eventos de redimensionamento que chegam em sucessão curta. Isso deve ser trazido para a atenção dos desenvolvedores do vim e fixado por eles.

    
por 01.05.2017 / 00:50