update the viewportElement style width upon refreshing of the viewport to accomodate changes in scrollBarWidth

This commit is contained in:
Puneethnaik
2021-07-28 15:56:26 +00:00
parent 522c8bf3af
commit dab73aa263
2 changed files with 12 additions and 1 deletions
+3
View File
@@ -348,6 +348,9 @@ function initOptions(term: TerminalType): void {
} else if (o === 'lineHeight' || o === 'scrollSensitivity') {
term.setOption(o, parseFloat(input.value));
updateTerminalSize();
} else if(o === 'scrollback') {
term.setOption(o, parseInt(input.value));
setTimeout(() => updateTerminalSize(), 5);
} else {
term.setOption(o, parseInt(input.value));
}