diff options
author | bobzel <zzzman@gmail.com> | 2020-08-22 09:49:56 -0400 |
---|---|---|
committer | bobzel <zzzman@gmail.com> | 2020-08-22 09:49:56 -0400 |
commit | 4ed30f48bd0c87f0a5ccb484d78bf4601ab6ff74 (patch) | |
tree | 15930585ee9bdf3b6278206cd1a3f972fa01c5f3 /src/client/views/nodes/FieldView.tsx | |
parent | cbedd8e1e651843e50f8f27163bf8e2a1a574009 (diff) |
switched search from writiing searchMatch to matched docs to instead store in a run-time observableMap. This allows simultaneous searches by different users.
Diffstat (limited to 'src/client/views/nodes/FieldView.tsx')
-rw-r--r-- | src/client/views/nodes/FieldView.tsx | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/client/views/nodes/FieldView.tsx b/src/client/views/nodes/FieldView.tsx index d95951f3a..3726f1d5f 100644 --- a/src/client/views/nodes/FieldView.tsx +++ b/src/client/views/nodes/FieldView.tsx @@ -58,9 +58,6 @@ export interface FieldViewProps { ChromeHeight?: () => number; childLayoutTemplate?: () => Opt<Doc>; - highlighting?: string[]; - lines?: string[]; - doc?: Doc; // properties intended to be used from within layout strings (otherwise use the function equivalents that work more efficiently with React) height?: number; width?: number; |