If you use Neovim (or even stock Vim), you can do everything you want. Proportional fonts are a bit harder because you'd need to change your terminal font, but

If you use Neovim (or even stock Vim), you can do everything you want. Proportional fonts are a bit harder because you'd need to change your terminal font, but presumably you could do it within gvim. Not that I understand the logic behind wanting proportional fonts for _programming_.