From a948d6dbc70821e21e08e47df25d83e98bff929e Mon Sep 17 00:00:00 2001 From: daa84 Date: Tue, 28 Feb 2017 17:08:07 +0300 Subject: [PATCH] default font update --- src/ui.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/ui.rs b/src/ui.rs index 3f9cc49..8697037 100644 --- a/src/ui.rs +++ b/src/ui.rs @@ -23,8 +23,8 @@ use input::{convert_key, keyval_to_input_string}; #[cfg(target_os = "linux")] const FONT_NAME: &'static str = "Droid Sans Mono for Powerline"; #[cfg(target_os = "windows")] -const FONT_NAME: &'static str = "Droid Sans Mono"; -const FONT_SIZE: f64 = 16.0; +const FONT_NAME: &'static str = "DejaVu Sans Mono"; +const FONT_SIZE: f64 = 12.0; thread_local!(pub static UI: RefCell = { let thread = thread::current();