commit 38912df847d51b320b67a84a726d9db5512e66b0
author Kristian Høgsberg <krh@bitplanet.net> Wed Jun 27 17:52:23 2012 -0400
committer Kristian Høgsberg <krh@bitplanet.net> Wed Jun 27 17:52:23 2012 -0400
tree 5a4bf48ff340034d6fc3223daa39c8825bb8f5b7
parent 333db0a17e2dcec0fa5117e50df2625643131772

terminal: Make font size configurable

clients/terminal.c

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 @@
 
 	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 @@
 
 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 },
 };