waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Remove unused variable

Browse Source
This commit is contained in:
Daniel Imms
2023-08-20 07:33:15 -07:00
parent 6021e6cf81
commit 1529e0bf04
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
demo/client.ts
-1
View File
@@ -492,7 +492,6 @@ function initOptions(term: TerminalType): void {
const input = document.getElementById(`opt-${o}`) as HTMLInputElement;
addDomListener(input, 'change', () => {
console.log('change', o, input.value);
let ival;
if (o === 'lineHeight') {
term.options.lineHeight = parseFloat(input.value);
} else if (o === 'scrollSensitivity') {