Merge remote-tracking branch 'origin/master' into pr/noamyogev84/1763

2018-12-26 15:08:16 -08:00
parent e00c7d535d 272cb08472
commit bb9732599b
32 changed files with 554 additions and 759 deletions
@@ -25,6 +25,8 @@ export interface ISearchOptions {
  regex?: boolean;
  wholeWord?: boolean;
  caseSensitive?: boolean;
+  /** Assume caller implements 'search as you type' where findNext gets called when search input changes */
+  incremental?: boolean;
 }

 export interface ISearchIndex {