Merge pull request #1668 from jerch/fix_demo

add explicit type to demo/client.ts
xtermjs · Sep 8, 2018 · 0f28ccb · 0f28ccb
2 parents bdb6647 + 4eede85
commit 0f28ccb
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
       };