const DEFAULT_FONT_NAME: &'static str = "DejaVu Sans Mono 12";