From 5d2ef15f594eeb4113aa1b23073640e9867fddfd Mon Sep 17 00:00:00 2001 From: Brian Rogers Date: Wed, 18 May 2022 09:21:17 -0600 Subject: [PATCH] font sizes getting changed again I guess --- Packages/User/Preferences.sublime-settings | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Packages/User/Preferences.sublime-settings b/Packages/User/Preferences.sublime-settings index 1f61c12..dcb81f6 100644 --- a/Packages/User/Preferences.sublime-settings +++ b/Packages/User/Preferences.sublime-settings @@ -45,4 +45,7 @@ /*"font_size": 9,*/ /*"font_size": 12,*/ /*"font_size": 11,*/ + /*"font_size": 9,*/ + /*"font_size": 8,*/ + /*"font_size": 9,*/ }