From c861c07fa729e2833d6a86fd285087e873807a03 Mon Sep 17 00:00:00 2001 From: Brian Rogers Date: Thu, 23 Sep 2021 11:22:00 -0600 Subject: [PATCH] Font size changed? --- Packages/User/Preferences.sublime-settings | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Packages/User/Preferences.sublime-settings b/Packages/User/Preferences.sublime-settings index c5d8823..9b0a433 100644 --- a/Packages/User/Preferences.sublime-settings +++ b/Packages/User/Preferences.sublime-settings @@ -40,5 +40,7 @@ "show_line_endings": true, "theme": "Material-Theme.sublime-theme", "translate_tabs_to_spaces": true, - "font_size": 10, + /*"font_size": 11,*/ + /*"font_size": 9,*/ + /*"font_size": 9,*/ }