Added search support for 'match whole word'

2018-09-12 09:30:34 -07:00
parent 74474da7f3
commit 7fc1fd947f
4 changed files with 114 additions and 15 deletions
@@ -102,7 +102,7 @@ function createTerminal(): void {
      e.preventDefault();
      const searchOptions = {
        regex: (document.getElementById('regex') as HTMLInputElement).checked,
-        wholeWord: false,
+        wholeWord: (document.getElementById('whole-word') as HTMLInputElement).checked,
        caseSensitive: (document.getElementById('case-sensitive') as HTMLInputElement).checked
      };
      term.findNext(actionElements.findNext.value, searchOptions);
@@ -113,7 +113,7 @@ function createTerminal(): void {
      e.preventDefault();
      const searchOptions = {
        regex: (document.getElementById('regex') as HTMLInputElement).checked,
-        wholeWord: false,
+        wholeWord: (document.getElementById('whole-word') as HTMLInputElement).checked,
        caseSensitive: (document.getElementById('case-sensitive') as HTMLInputElement).checked
      };
      term.findPrevious(actionElements.findPrevious.value, searchOptions);