Update terminal dimensions after line height changes

Fixes #2048
2026-08-05 13:43:48 -07:00 · 2019-05-08 20:53:24 -07:00
parent 2d0937ac1d
commit 4b1c54d634
1 changed files with 4 additions and 1 deletions
@@ -259,8 +259,11 @@ function initOptions(term: TerminalType): void {
      console.log('change', o, input.value);
      if (o === 'cols' || o === 'rows') {
        updateTerminalSize();
+      } else if (o === 'lineHeight') {
+        term.setOption(o, parseFloat(input.value));
+        updateTerminalSize();
      } else {
-        term.setOption(o, o === 'lineHeight' ? parseFloat(input.value) : parseInt(input.value, 10));
+        term.setOption(o, parseInt(input.value));
      }
    });
  });