Merge branch 'master' into webgl2

2018-12-27 14:17:34 -08:00
parent 26db71d296 d5cacbaf4a
commit 0ed0bfa5ab
9 changed files with 187 additions and 50 deletions
@@ -113,9 +113,9 @@ function createTerminal(): void {
  });

  addDomListener(actionElements.findPrevious, 'keyup', (e) => {
-    const searchOptions = getSearchOptions();
-    searchOptions.incremental = e.key !== `Enter`;
-    term.findPrevious(actionElements.findPrevious.value, searchOptions);
+    if (e.key === `Enter`) {
+      term.findPrevious(actionElements.findPrevious.value, getSearchOptions());
+    }
  });

  // fit is called within a setTimeout, cols and rows need this.