From 058e0f91bbeb8624e44d6eba0e2275731faadbee Mon Sep 17 00:00:00 2001 From: Allen Webster Date: Mon, 28 May 2018 11:15:56 -0700 Subject: [PATCH] Updated release config file --- release-config.4coder | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/release-config.4coder b/release-config.4coder index 5040cd81..6de0c703 100644 --- a/release-config.4coder +++ b/release-config.4coder @@ -32,7 +32,11 @@ indent_width = 4; // Theme default_theme_name = "4coder"; + +// Font default_font_name = "Liberation Mono"; +default_font_size = 16; +default_font_hinting = false; // User user_name = "NAME";