diff options
| author | bob <bcz@cs.brown.edu> | 2019-05-29 12:06:44 -0400 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-05-29 12:06:44 -0400 |
| commit | 732cc8c3aec072525535d246b1177181bbd3f7da (patch) | |
| tree | 0319adf3a98306b64155719cd467a84be2a18be7 /src/client/views/nodes/DocumentContentsView.tsx | |
| parent | 7cd5d922930ba1eaed894c2b0a91e3edf4f08164 (diff) | |
improved stacking view and captions templates.
Diffstat (limited to 'src/client/views/nodes/DocumentContentsView.tsx')
| -rw-r--r-- | src/client/views/nodes/DocumentContentsView.tsx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/client/views/nodes/DocumentContentsView.tsx b/src/client/views/nodes/DocumentContentsView.tsx index 52a9582d2..02396c3af 100644 --- a/src/client/views/nodes/DocumentContentsView.tsx +++ b/src/client/views/nodes/DocumentContentsView.tsx @@ -44,6 +44,7 @@ export class DocumentContentsView extends React.Component<DocumentViewProps & { isSelected: () => boolean, select: (ctrl: boolean) => void, layoutKey: string, + hideOnLeave?: boolean }> { @computed get layout(): string { const layout = Cast(this.props.Document[this.props.layoutKey], "string"); |