From 38912df847d51b320b67a84a726d9db5512e66b0 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kristian=20H=C3=B8gsberg?= Date: Wed, 27 Jun 2012 17:52:23 -0400 Subject: [PATCH] terminal: Make font size configurable --- clients/terminal.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/clients/terminal.c b/clients/terminal.c index 66d3fac..26ef4ff 100644 --- a/clients/terminal.c +++ b/clients/terminal.c @@ -40,6 +40,7 @@ static int option_fullscreen; static char *option_font = "mono"; +static int option_font_size = 14; static char *option_term = "xterm"; static char *option_shell; @@ -2421,7 +2422,7 @@ terminal_create(struct display *display, int fullscreen) surface = cairo_image_surface_create(CAIRO_FORMAT_ARGB32, 0, 0); cr = cairo_create(surface); - cairo_set_font_size(cr, 14); + cairo_set_font_size(cr, option_font_size); cairo_select_font_face (cr, option_font, CAIRO_FONT_SLANT_NORMAL, CAIRO_FONT_WEIGHT_BOLD); @@ -2511,6 +2512,7 @@ terminal_run(struct terminal *terminal, const char *path) static const struct config_key terminal_config_keys[] = { { "font", CONFIG_KEY_STRING, &option_font }, + { "font-size", CONFIG_KEY_INTEGER, &option_font_size }, { "term", CONFIG_KEY_STRING, &option_term }, }; -- 2.7.4