diff options
| author | bob <bcz@cs.brown.edu> | 2019-10-02 18:26:55 -0400 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-10-02 18:26:55 -0400 |
| commit | 9427474b473d70974784a1517a1be902fb8d18ee (patch) | |
| tree | f2f2762eb8dbcf771711161fc021fe5c0c2ff654 /src/new_fields/Doc.ts | |
| parent | a19210e7db3e625c0bfe38b4f13b5312cc0c6e53 (diff) | |
many fixes to pdfs, linking, annotations, presentations.
Diffstat (limited to 'src/new_fields/Doc.ts')
| -rw-r--r-- | src/new_fields/Doc.ts | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/new_fields/Doc.ts b/src/new_fields/Doc.ts index aeffc81c4..58304cebb 100644 --- a/src/new_fields/Doc.ts +++ b/src/new_fields/Doc.ts @@ -665,10 +665,12 @@ export namespace Doc { export function BrushDoc(doc: Doc) { brushManager.BrushedDoc.set(doc, true); brushManager.BrushedDoc.set(Doc.GetDataDoc(doc), true); + return doc; } export function UnBrushDoc(doc: Doc) { brushManager.BrushedDoc.delete(doc); brushManager.BrushedDoc.delete(Doc.GetDataDoc(doc)); + return doc; } export class HighlightBrush { |