diff options
| author | bob <bcz@cs.brown.edu> | 2019-11-21 11:59:07 -0500 |
|---|---|---|
| committer | bob <bcz@cs.brown.edu> | 2019-11-21 11:59:07 -0500 |
| commit | b1fadd1137f35fe64b9dc8df42a3160882f4cccd (patch) | |
| tree | 6ce76cd9b24d70146a4e3102a91d65ccd0794a20 /src/client/views/DocumentDecorations.tsx | |
| parent | 66e44646eafc8f66c4683e768b39f179950679d8 (diff) | |
more fixes to layout stuff
Diffstat (limited to 'src/client/views/DocumentDecorations.tsx')
| -rw-r--r-- | src/client/views/DocumentDecorations.tsx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/client/views/DocumentDecorations.tsx b/src/client/views/DocumentDecorations.tsx index 210fa40dc..66f47147f 100644 --- a/src/client/views/DocumentDecorations.tsx +++ b/src/client/views/DocumentDecorations.tsx @@ -463,7 +463,7 @@ export class DocumentDecorations extends React.Component<{}, { value: string }> break; } - SelectionManager.SelectedDocuments().forEach(element => { + SelectionManager.SelectedDocuments().forEach(action((element: DocumentView) => { if (dX !== 0 || dY !== 0 || dW !== 0 || dH !== 0) { let doc = PositionDocument(element.props.Document); let layoutDoc = PositionDocument(Doc.Layout(element.props.Document)); @@ -509,7 +509,7 @@ export class DocumentDecorations extends React.Component<{}, { value: string }> dH && layoutDoc.autoHeight && (layoutDoc.autoHeight = false); } } - }); + })); } @action |
