diff options
| author | Terry Truong <terry06890@gmail.com> | 2022-03-26 12:22:12 +1100 |
|---|---|---|
| committer | Terry Truong <terry06890@gmail.com> | 2022-03-26 12:41:15 +1100 |
| commit | dacc1b2e8fe4b7971304116fce54b3757d37d164 (patch) | |
| tree | f06c58581ea269354f086b0c3ffa30e4227809c1 /src/lib.ts | |
| parent | 91f78e4ec12eda07840b940692013a1aa025b7b8 (diff) | |
Highlight search result
Diffstat (limited to 'src/lib.ts')
| -rw-r--r-- | src/lib.ts | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -29,6 +29,7 @@ export class LayoutNode { showHeader: boolean; sepSweptArea: SepSweptArea | null; hidden: boolean; + searchResult: boolean; // Used for layout heuristics and info display dCount: number; // Number of descendant leaf nodes depth: number; // Number of ancestor nodes @@ -43,6 +44,7 @@ export class LayoutNode { this.showHeader = false; this.sepSweptArea = null; this.hidden = false; + this.searchResult = false; this.dCount = children.length == 0 ? 1 : arraySum(children.map(n => n.dCount)); this.depth = 0; this.empSpc = 0; |
