From 4eede85ef609a1143deaacd664007cc76d035e04 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Breitbart?= <jerch@rockborn.de>
Date: Sat, 8 Sep 2018 17:26:19 +0200
Subject: [PATCH] fixes #1667

---
 demo/client.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/demo/client.ts b/demo/client.ts
index 6e65769242..08545c09d5 100644
--- 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
       };