fixes #1667

xtermjs · Sep 8, 2018 · 4eede85 · 4eede85
1 parent bdb6647
commit 4eede85
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/demo/client.ts b/demo/client.ts
@@ -101,7 +101,7 @@ function createTerminal(): void {
     if (e.key === 'Enter') {
       e.preventDefault();
       let searchOptions = {
-        regex: document.getElementById('regex').checked,
+        regex: (document.getElementById('regex') as HTMLInputElement).checked,
         wholeWord: false,
         caseSensitive: false
       };
@@ -112,7 +112,7 @@ function createTerminal(): void {
     if (e.key === 'Enter') {
       e.preventDefault();
       let searchOptions = {
-        regex: document.getElementById('regex').checked,
+        regex: (document.getElementById('regex') as HTMLInputElement).checked,
         wholeWord: false,
         caseSensitive: false
       };