From 533f4d0b23f686a6ed9c0051859c411027c4bc79 Mon Sep 17 00:00:00 2001 From: Chris Angelico Date: Mon, 5 Aug 2024 18:06:22 +1000 Subject: [PATCH] Fix that font size once and for all --- .SciTEUser.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.SciTEUser.properties b/.SciTEUser.properties index c66cb60..6d716ef 100644 --- a/.SciTEUser.properties +++ b/.SciTEUser.properties @@ -1,4 +1,4 @@ -font.monospace=font:!Bitstream Vera Sans Mono,size:19 +font.monospace=font:!Bitstream Vera Sans Mono,size:20 font.base=$(font.monospace) font.comment=$(font.monospace) font.text=$(font.monospace)