From bfd2e398c1ec6bafab52a38e3ce24fa0658205c0 Mon Sep 17 00:00:00 2001
From: Wolfgang Müller
Date: Tue, 6 Aug 2019 16:22:51 +0200
Subject: Add support for adjusting the font scale at runtime

---
 terminal.ui | 1 +
 1 file changed, 1 insertion(+)

(limited to 'terminal.ui')

diff --git a/terminal.ui b/terminal.ui
index 7885ecc..c82a04d 100644
--- a/terminal.ui
+++ b/terminal.ui
@@ -59,6 +59,7 @@
             <signal name="button-release-event" handler="vte_button_release" swapped="no"/>
             <signal name="child-exited" handler="gtk_main_quit" swapped="no"/>
             <signal name="key-press-event" handler="vte_key_press" swapped="no"/>
+            <signal name="scroll-event" handler="vte_scroll" swapped="no"/>
             <signal name="window-title-changed" handler="window_set_title" swapped="no"/>
           </object>
         </child>
-- 
cgit v1.2.3-2-gb3c3