diff options
| author | Melissa Zhang <mzhang19096@gmail.com> | 2020-08-08 15:35:31 -0700 |
|---|---|---|
| committer | Melissa Zhang <mzhang19096@gmail.com> | 2020-08-08 15:35:31 -0700 |
| commit | 2a23ebe83ae573c0c0bbd27f4a2b3bf2a0e59d51 (patch) | |
| tree | f154a83eacd502d43d553e06107ee0dbbcfe3abf /src/client/documents/Documents.ts | |
| parent | 6263a4539576ce92f97a02b9e7bde2804e01a6df (diff) | |
| parent | 47e3170534393ab9e4140c18b32110f83753d817 (diff) | |
merge with master
Diffstat (limited to 'src/client/documents/Documents.ts')
| -rw-r--r-- | src/client/documents/Documents.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/client/documents/Documents.ts b/src/client/documents/Documents.ts index ddc25ec43..070068401 100644 --- a/src/client/documents/Documents.ts +++ b/src/client/documents/Documents.ts @@ -94,6 +94,7 @@ export interface DocumentOptions { title?: string; label?: string; hidden?: boolean; + userDoc?: Doc; // the userDocument toolTip?: string; // tooltip to display on hover style?: string; page?: number; |