Ingrandimento font per gui.

This commit is contained in:
Emiliano Vavassori 2023-06-01 17:24:43 +02:00
parent 6348bd3845
commit 462c3833a0

2
vimrc
View File

@ -113,7 +113,7 @@ let g:ansible_unindent_after_newline = 1
if has('gui_running') if has('gui_running')
"set guifont=Ubuntu\ Mono\ derivative\ Powerline\ 14 "set guifont=Ubuntu\ Mono\ derivative\ Powerline\ 14
"set guifont = Droid Sans Mono Slashed for Powerline Regular 16,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 colorscheme solarized
let g:airline_theme='base16' let g:airline_theme='base16'