Updated release config file

2018-05-28 11:15:56 -07:00 · 2018-05-28 11:15:56 -07:00 · 058e0f91bb
parent 23e6660172
commit 058e0f91bb
1 changed files with 4 additions and 0 deletions
--- 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";