Decrease font size

This commit is contained in:
László Károlyi 2022-02-22 13:19:10 +01:00
parent 9178935820
commit 774f335267
Signed by: karolyi
GPG key ID: 2DCAF25E55735BFE

View file

@ -8,7 +8,7 @@
"theme": "auto",
"always_show_minimap_viewport": true,
"font_face": "JetbrainsMono Nerd Font",
"font_size": 15,
"font_size": 14,
"highlight_line": true,
"highlight_modified_tabs": true,
"trim_trailing_white_space_on_save": "all",