Meu vim sempre fica distorcido depois que alterno entre as guias no terminal.
A exibição correta
A exibição distorcida
Isso sempre acontece quando volto para a guia vim e volta ao normal depois de pressionar um movimento como j ou k.
Responder1
Por acaso você tem tamanhos de fonte diferentes nas outras guias?
Ao alternar entre guias de tamanhos de fonte diferentes em tela maximizada/tela cheia gnome-terminal(ou mate-terminal), ocorrem problemas estranhos de dimensionamento. O emulador de terminal deseja se redimensionar (para manter o mesmo número de células de caracteres que você pode ver em janelas não maximizadas; manter o mesmo número de pixels não funcionaria junto com redimensionamentos alinhados à grade), mas por outro lado, a janela manager recua e reverte a tentativa de redimensionamento do emulador de terminal. Isso gera dois eventos consecutivos de redimensionamento em direção ao aplicativo cliente. Veja, por exemplohttps://bugzilla.gnome.org/show_bug.cgi?id=731137.
Nesse ínterim, vimos vários relatórios de bugs em emuladores de terminal, onde eventualmente descobrimos que eles vimnão conseguem lidar corretamente com eventos de redimensionamento que chegam em uma curta sucessão. Isso deve ser levado vimà atenção dos desenvolvedores e corrigido por eles.