diff options
| author | bob <bcz@cs.brown.edu> | 2019-12-04 17:47:28 -0500 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-12-04 17:47:28 -0500 |
| commit | 968d678e8aeb6f57cc892e3fe789067a8246c5fe (patch) | |
| tree | 455315deb2c00a8275ba01122119ac7cb0d0520d /src/client/util | |
| parent | 74839056c8fccb216ee682c642771ab101b43d35 (diff) | |
started to add paths
Diffstat (limited to 'src/client/util')
| -rw-r--r-- | src/client/util/RichTextSchema.tsx | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/client/util/RichTextSchema.tsx b/src/client/util/RichTextSchema.tsx index 3b786e61d..4612f2885 100644 --- a/src/client/util/RichTextSchema.tsx +++ b/src/client/util/RichTextSchema.tsx @@ -761,8 +761,9 @@ export class DashDocView { this._dashSpan.style.width = this._outer.style.width = dashDoc[WidthSym]() + "px"; }); ReactDOM.render(<DocumentView - fitToBox={BoolCast(dashDoc.fitToBox)} Document={dashDoc} + LibraryPath={tbox.props.LibraryPath} + fitToBox={BoolCast(dashDoc.fitToBox)} addDocument={returnFalse} removeDocument={removeDoc} ruleProvider={undefined} |