From f8c00fb6a2b194f45c442549418beedb437338cd Mon Sep 17 00:00:00 2001 From: Werner Almesberger Date: Fri, 19 Aug 2016 14:37:35 -0300 Subject: [PATCH] eeshow/gui/help.c (new_help_window): set default font size to 10 (was 16) --- eeshow/gui/help.c | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/eeshow/gui/help.c b/eeshow/gui/help.c index e23e612..59f8b38 100644 --- a/eeshow/gui/help.c +++ b/eeshow/gui/help.c @@ -25,10 +25,16 @@ static bool visible; static void new_help_window(void) { GtkWidget *view; + WebKitSettings *settings; window = gtk_window_new(GTK_WINDOW_TOPLEVEL); view = webkit_web_view_new(); + + settings = webkit_web_view_get_settings(WEBKIT_WEB_VIEW(view)); + webkit_settings_set_default_font_size(settings, 10); + gtk_container_add(GTK_CONTAINER(window), view); + gtk_window_set_default_size(GTK_WINDOW(window), 480, 360); gtk_widget_show_all(window); webkit_web_view_load_html(WEBKIT_WEB_VIEW(view),