diff --git a/demo/client.ts b/demo/client.ts index 08545c09d5..4af03548b6 100644 --- a/demo/client.ts +++ b/demo/client.ts @@ -100,7 +100,7 @@ function createTerminal(): void { addDomListener(actionElements.findNext, 'keypress', (e) => { if (e.key === 'Enter') { e.preventDefault(); - let searchOptions = { + const searchOptions = { regex: (document.getElementById('regex') as HTMLInputElement).checked, wholeWord: false, caseSensitive: false @@ -111,7 +111,7 @@ function createTerminal(): void { addDomListener(actionElements.findPrevious, 'keypress', (e) => { if (e.key === 'Enter') { e.preventDefault(); - let searchOptions = { + const searchOptions = { regex: (document.getElementById('regex') as HTMLInputElement).checked, wholeWord: false, caseSensitive: false diff --git a/package.json b/package.json index f2591d0383..468c027eda 100644 --- a/package.json +++ b/package.json @@ -50,7 +50,7 @@ "scripts": { "start": "node demo/start", "start-zmodem": "node demo/zmodem/app", - "lint": "tslint 'src/**/*.ts'", + "lint": "tslint 'src/**/*.ts' './demo/**/*.ts'", "test": "npm-run-all mocha lint", "test-debug": "node --inspect-brk node_modules/.bin/gulp test", "test-suite": "gulp mocha-suite --test",