change font size to 10

This commit is contained in:
Oliver Hartmann 2023-10-15 13:46:36 +02:00
parent 41d9095aae
commit eae5c634d9

View File

@ -54,7 +54,7 @@ else
-- opt.guifont = 'Hack Nerd Font:h10'
-- opt.guifont = 'JetBrainsMono Nerd Font:h10'
-- opt.guifont = 'FiraCode Nerd Font:h10'
opt.guifont = 'RobotoMono Nerd Font:h11'
opt.guifont = 'RobotoMono Nerd Font:h10'
-- opt.guifont = 'Cousine Nerd Font Mono:h10'
-- opt.guifont = 'DroidSansM Nerd Font Propo:h10'
-- opt.guifont = 'AnonymicePro Nerd Font:h11'