Increase editor font size

master
Hektor Misplon 2022-05-16 11:39:14 +02:00
parent b31a2581b2
commit 6639ec989a
2 changed files with 2 additions and 2 deletions

View File

@ -12,7 +12,7 @@ font:
italic: italic:
family: Iosevka Term SS08 family: Iosevka Term SS08
style: italic style: italic
size: 8 size: 12
colors: colors:
primary: primary:
foreground: '0xeeeeee' foreground: '0xeeeeee'

View File

@ -35,7 +35,7 @@
] ]
editor: editor:
fontFamily: "Iosevka Term SS08" fontFamily: "Iosevka Term SS08"
fontSize: 27 fontSize: 21
scrollPastEnd: true scrollPastEnd: true
"exception-reporting": "exception-reporting":
userId: "6f9fc289-7b3c-4490-937e-5e58e9765c5e" userId: "6f9fc289-7b3c-4490-937e-5e58e9765c5e"