From b4a2118a7b27a6502afee957dde089b84ca26427 Mon Sep 17 00:00:00 2001 From: Robert Timm Date: Fri, 17 Feb 2017 23:42:18 +0100 Subject: [PATCH] makes font sizes match webkit2 defaults --- src/config.def.h | 3 ++- src/setting.c | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/config.def.h b/src/config.def.h index d73d480..1f55e24 100644 --- a/src/config.def.h +++ b/src/config.def.h @@ -45,7 +45,8 @@ #define GUI_STYLE_CSS_BASE "#input text{background-color:inherit;color:inherit;caret-color:@color;font:inherit;}" /* default font size for fonts in webview */ -#define SETTING_DEFAULT_FONT_SIZE 10 +#define SETTING_DEFAULT_FONT_SIZE 16 +#define SETTING_DEFAULT_MONOSPACE_FONT_SIZE 13 #define SETTING_GUI_FONT_NORMAL "10px monospace" #define SETTING_GUI_FONT_EMPH "bold 10px monospace" #define SETTING_HOME_PAGE "about:blank" diff --git a/src/setting.c b/src/setting.c index 4a6a41b..ef23eb7 100644 --- a/src/setting.c +++ b/src/setting.c @@ -102,7 +102,7 @@ void setting_init(Client *c) i = 5; setting_add(c, "minimumfontsize", TYPE_INTEGER, &i, webkit, 0, "minimum-font-size"); setting_add(c, "monofont", TYPE_CHAR, &"monospace", webkit, 0, "monospace-font-family"); - i = SETTING_DEFAULT_FONT_SIZE; + i = SETTING_DEFAULT_MONOSPACE_FONT_SIZE; setting_add(c, "monofontsize", TYPE_INTEGER, &i, webkit, 0, "default-monospace-font-size"); setting_add(c, "offlinecache", TYPE_BOOLEAN, &on, webkit, 0, "enable-offline-web-application-cache"); setting_add(c, "plugins", TYPE_BOOLEAN, &on, webkit, 0, "enable-plugins"); -- 2.20.1