diff options
| author | bob <bcz@cs.brown.edu> | 2019-09-11 11:19:21 -0400 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-09-11 11:19:21 -0400 |
| commit | 71594c0e64d2559f2a72bcbc5faee1db78eecfb8 (patch) | |
| tree | 5f9be8a99e1fce36dbcb5dacbb0bee02138a9166 /src/client/views/DocumentDecorations.tsx | |
| parent | f4df8cedd38dbf09e282315604ecaa6cde8185e5 (diff) | |
added makeCustomView to promote documents to a new layout.
Diffstat (limited to 'src/client/views/DocumentDecorations.tsx')
| -rw-r--r-- | src/client/views/DocumentDecorations.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/client/views/DocumentDecorations.tsx b/src/client/views/DocumentDecorations.tsx index 773ab8b9f..fe409d9a6 100644 --- a/src/client/views/DocumentDecorations.tsx +++ b/src/client/views/DocumentDecorations.tsx @@ -283,7 +283,7 @@ export class DocumentDecorations extends React.Component<{}, { value: string }> onCloseUp = async (e: PointerEvent) => { e.stopPropagation(); if (e.button === 0) { - const recent = await Cast(CurrentUserUtils.UserDocument.recentlyClosed, Doc); + const recent = Cast(CurrentUserUtils.UserDocument.recentlyClosed, Doc) as Doc; SelectionManager.SelectedDocuments().map(dv => { recent && Doc.AddDocToList(recent, "data", dv.props.Document, undefined, true, true); dv.props.removeDocument && dv.props.removeDocument(dv.props.Document); |
