Cambiar el tamaño de letra en GVim

Supongamos que quieres ver el tamaño de letra en GVim siempre a 9 puntos en lugar de a 10.

Donde Monospace es el tipo de letra que quieras usar. Ojo con la pues es la forma de “escapar” el espacio en blanco antes del número que especifica el tamaño de letra.

Desde el menú Edit / Select font puedes cambiar el tipo y tamaño a mano. También usando el siguiente comando:

Finalmente si quieres conservar tu selección al reiniciar GVim, crea el fichero ~/.gvimrc con el mismo set que el del primer ejemplo.

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *