Texto de tamanho diferente para linhas diferentes: GVIM ou qualquer outro IDE

Question

Em um esforço para obter mais linhas de texto na tela em monitores widescreen ¹ , tentei diminuir o tamanho da fonte. Acho que consigo obter linhas de texto suficientes ² no tamanho da fonte 8px ou 10px, mas prefiro codificar em 14px! Meu ambiente preferido é o VIM, e sei que o GVIM pode especificar tamanhos de fonte diferentes.

É possível que as linhas atuais e ± 3 sejam 14px, até 6 linhas sejam 12px e o restante seja 10px? Eu preferiria essa configuração no GVIM, mas gostaria de tentar em qualquer editor (Linux) que possa suportar esse recurso.

¹ Sim, tentei executar o monitor de lado, mas na minha configuração atual não consigo fazer isso.

² Nunca há o suficiente!

    

Answer 1

O comando vim :highlight command pode ser usado junto com os comandos match e autocmd para alterar as linhas próximas. Como segue:

:highlight CurrentLines gui=bold
:autocmd CursorMoved * :execute 'match CurrentLines /.*\n.*\%#.*\n.*/'
:autocmd CursorMovedI * :execute 'match CurrentLines /.*\n.*\%#.*\n.*/'

Primeiro, definimos um novo grupo de realces com o formato desejado, do que definimos uma ação automática para o evento CursorMoved (para o comando e para o modo de inserção) que corresponde ao highligh à linha atual e é vizinho.
O padrão de correspondência não pode ser ajustado para incluir mais ou menos texto, conforme necessário.

O problema: o comando highligh tem um argumento GUI para definindo a fonte , mas para mim (gvim 2.7 no Ubunt) parece que o gvim ignora a configuração da fonte.

Há uma resposta do stackoverflow.com que lida com um problema semelhante e pode ser útil para você

    

Answer 2

Você pode instruir o GVim a usar fontes e tamanhos diferentes, mas funciona como no CSS: a primeira definição que funciona é usada e o restante é descartado. Você não pode ter vários tamanhos de fonte e fontes exibidos ao mesmo tempo no Vim.

Use a dobra em vez disso.