better search UI

2025-10-05 14:34:54 +00:00 · 2019-12-01 18:52:22 +01:00
parent 656f5c2561
commit 471f9effcf
6 changed files with 41 additions and 18 deletions
--- a/terminus-terminal/src/frontends/frontend.ts
+++ b/terminus-terminal/src/frontends/frontend.ts
@@ -6,6 +6,7 @@ export interface SearchOptions {
    regex?: boolean
    wholeWord?: boolean
    caseSensitive?: boolean
+    incremental?: true
 }

 /**