From 462c3833a06ff6ed5621519973ad385a42220dee Mon Sep 17 00:00:00 2001 From: Emiliano Vavassori Date: Thu, 1 Jun 2023 17:24:43 +0200 Subject: [PATCH] Ingrandimento font per gui. --- vimrc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/vimrc b/vimrc index ef88407..c28ed9d 100644 --- a/vimrc +++ b/vimrc @@ -113,7 +113,7 @@ let g:ansible_unindent_after_newline = 1 if has('gui_running') "set guifont=Ubuntu\ Mono\ derivative\ Powerline\ 14 "set guifont = Droid Sans Mono Slashed for Powerline Regular 16,Ubuntu Mono derivative Powerline 14 - set guifont=Fira\ Code\ Nerd\ Font\ 11,Ubuntu\ Mono\ derivative\ Powerline\ 14 + set guifont=Fira\ Code\ Nerd\ Font\ 12,Ubuntu\ Mono\ derivative\ Powerline\ 14 colorscheme solarized let g:airline_theme='base16'