diff options
author | bob <bcz@cs.brown.edu> | 2019-12-19 16:27:13 -0500 |
---|---|---|
committer | bob <bcz@cs.brown.edu> | 2019-12-19 16:27:13 -0500 |
commit | 306ea362cad253764bc632d6274ae71a45ecd85c (patch) | |
tree | dd1e01ffe5828be5a8b36b4e3dd4798a2cf5137d /src/client/views/DocumentDecorations.tsx | |
parent | 8907ea70352d07c80233ff4c3e06c9c543c5be83 (diff) |
compiler fixes. fix for text box titles on templates
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 3905bffed..4bc24fa93 100644 --- a/src/client/views/DocumentDecorations.tsx +++ b/src/client/views/DocumentDecorations.tsx @@ -233,7 +233,7 @@ export class DocumentDecorations extends React.Component<{}, { value: string }> e.stopPropagation(); if (e.button === 0) { const recent = Cast(CurrentUserUtils.UserDocument.recentlyClosed, Doc) as Doc; - let selected = SelectionManager.SelectedDocuments().slice(); + const selected = SelectionManager.SelectedDocuments().slice(); SelectionManager.DeselectAll(); selected.map(dv => { recent && Doc.AddDocToList(recent, "data", dv.props.Document, undefined, true, true); |