hasufell/neovim-gtk
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

default font update

Browse Source
This commit is contained in:
daa84 2017-02-28 17:08:07 +03:00
parent f2ccb2c6ee
commit a948d6dbc7
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/ui.rs
View File

@ -23,8 +23,8 @@ use input::{convert_key, keyval_to_input_string};
#[cfg(target_os = "linux")] #[cfg(target_os = "linux")]
const FONT_NAME: &'static str = "Droid Sans Mono for Powerline"; const FONT_NAME: &'static str = "Droid Sans Mono for Powerline";
#[cfg(target_os = "windows")] #[cfg(target_os = "windows")]
const FONT_NAME: &'static str = "Droid Sans Mono"; const FONT_NAME: &'static str = "DejaVu Sans Mono";
const FONT_SIZE: f64 = 16.0; const FONT_SIZE: f64 = 12.0;
thread_local!(pub static UI: RefCell<Ui> = { thread_local!(pub static UI: RefCell<Ui> = {
let thread = thread::current(); let thread = thread::current();