aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/terminal.ui
diff options
context:
space:
mode:
authorWolfgang Müller2019-08-06 16:22:51 +0200
committerWolfgang Müller2019-08-31 18:06:46 +0200
commitbfd2e398c1ec6bafab52a38e3ce24fa0658205c0 (patch)
treea5e6eedfbb5c7b1d38cb3f00b059f6511ad5da46 /terminal.ui
parent7b06beba65e08a706964ff9b9dea43f4261f13fd (diff)
downloadweltschmerz-bfd2e398c1ec6bafab52a38e3ce24fa0658205c0.tar.gz
Add support for adjusting the font scale at runtime
Diffstat (limited to '')
-rw-r--r--terminal.ui1
1 files changed, 1 insertions, 0 deletions
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>