diff options
| author | Wolfgang Müller | 2019-08-06 16:22:51 +0200 |
|---|---|---|
| committer | Wolfgang Müller | 2019-08-31 18:06:46 +0200 |
| commit | bfd2e398c1ec6bafab52a38e3ce24fa0658205c0 (patch) | |
| tree | a5e6eedfbb5c7b1d38cb3f00b059f6511ad5da46 /terminal.ui | |
| parent | 7b06beba65e08a706964ff9b9dea43f4261f13fd (diff) | |
| download | weltschmerz-bfd2e398c1ec6bafab52a38e3ce24fa0658205c0.tar.gz | |
Add support for adjusting the font scale at runtime
Diffstat (limited to 'terminal.ui')
| -rw-r--r-- | terminal.ui | 1 |
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> |