From 1529e0bf04a0619c6d0f6f729953a27ce6e33d22 Mon Sep 17 00:00:00 2001
From: Daniel Imms <2193314+Tyriar@users.noreply.github.com>
Date: Sun, 20 Aug 2023 07:33:15 -0700
Subject: [PATCH] Remove unused variable

---
 demo/client.ts | 1 -
 1 file changed, 1 deletion(-)

diff --git a/demo/client.ts b/demo/client.ts
index d43f20c8..4c63e90f 100644
--- a/demo/client.ts
+++ b/demo/client.ts
@@ -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') {