From 2ca15233f0c47ccb89f24f64dc6f87f445fa8884 Mon Sep 17 00:00:00 2001 From: Perry Werneck Date: Mon, 4 Nov 2019 13:45:53 -0300 Subject: [PATCH] Fixing dynamic spacing toggle. --- src/terminal/properties/set.c | 1 + 1 file changed, 1 insertion(+), 0 deletions(-) diff --git a/src/terminal/properties/set.c b/src/terminal/properties/set.c index 3446e21..51f1f42 100644 --- a/src/terminal/properties/set.c +++ b/src/terminal/properties/set.c @@ -225,6 +225,7 @@ LIB3270_EXPORT void v3270_set_dynamic_font_spacing(GtkWidget *widget, gboolean s { terminal->font.spacing.dynamic = state; v3270_reconfigure(terminal); + gtk_widget_queue_draw(widget); g_object_notify_by_pspec(G_OBJECT(widget), GTK_V3270_GET_CLASS(widget)->properties.dynamic_spacing); } -- libgit2 0.21.2