diff options
| author | Andy Rickert <andrew_rickert@brown.edu> | 2020-07-03 13:37:12 -0400 |
|---|---|---|
| committer | Andy Rickert <andrew_rickert@brown.edu> | 2020-07-03 13:37:12 -0400 |
| commit | b058ca45c5d8f3168fdb3a9e8733152765afdb0b (patch) | |
| tree | 5d66db927370f2d7cd6a016e5bc77f202e37e65b /src/client/views/nodes/FieldView.tsx | |
| parent | 552e340758ae187459786d742c5e9d2487446f1b (diff) | |
| parent | 435995b1fb8ef52d2f76b89ca161e4372fb79cfd (diff) | |
merge w search_doc
Diffstat (limited to 'src/client/views/nodes/FieldView.tsx')
| -rw-r--r-- | src/client/views/nodes/FieldView.tsx | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/client/views/nodes/FieldView.tsx b/src/client/views/nodes/FieldView.tsx index c57738361..3aabd5d6b 100644 --- a/src/client/views/nodes/FieldView.tsx +++ b/src/client/views/nodes/FieldView.tsx @@ -53,6 +53,10 @@ export interface FieldViewProps { setVideoBox?: (player: VideoBox) => void; ContentScaling: () => number; 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; |