From 2c82636a98dcd61479698afc5268a646c793473f Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 22 Dec 2020 16:50:21 +0100
Subject: [PATCH] terminal: respond to font-size changes

Issue #3970
---
 repos/gems/src/server/terminal/main.cc | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/repos/gems/src/server/terminal/main.cc b/repos/gems/src/server/terminal/main.cc
index 3af4baebc0..30c2c40e41 100644
--- a/repos/gems/src/server/terminal/main.cc
+++ b/repos/gems/src/server/terminal/main.cc
@@ -70,6 +70,19 @@ struct Terminal::Main : Character_consumer
 
 	Constructible<Font> _font { };
 
+	void _handle_glyphs_changed()
+	{
+		/*
+		 * Prevent call of '_handle_config' when the watch handler triggers
+		 * at construction time.
+		 */
+		if (_font.constructed())
+			_handle_config();
+	}
+
+	Watch_handler<Main> _glyphs_changed_handler {
+		_root_dir, "fonts/monospace/regular/glyphs", *this, &Main::_handle_glyphs_changed };
+
 	Color_palette _color_palette { };
 
 	Constructible<Attached_rom_dataspace> _clipboard_rom      { };