paperlined.org
apps
>
vim
document updated 1 year, 7 months ago, on Sep 13, 2022
how-to change font size in gvim
how to change the font size manually
, either one-time or within .vimrc
how to change the font size via remaps