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

Merge pull request #1668 from jerch/fix_demo

Browse Source 
add explicit type to demo/client.ts
This commit is contained in:
jerch
2018-09-08 22:10:51 +02:00
committed by GitHub
parent bdb6647ae0 4eede85ef6
commit 0f28ccb093
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
demo/client.ts
+2 -2
View File
@@ -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
};