diff options
| author | andrewdkim <adkim414@gmail.com> | 2019-09-28 14:58:17 -0400 |
|---|---|---|
| committer | andrewdkim <adkim414@gmail.com> | 2019-09-28 14:58:17 -0400 |
| commit | 19178bad14cda27aa36932f500ec06d684b843ef (patch) | |
| tree | 6d7538358b730068cfa7848bbb7c6f05b06d314b /src/client/views/nodes/PresBox.tsx | |
| parent | bf8907cfc3e005f2ce6756820d9b3f9de35f1807 (diff) | |
| parent | a80f0867032a4735b319c87c1c7c045f062a7d4f (diff) | |
merge from master
Diffstat (limited to 'src/client/views/nodes/PresBox.tsx')
| -rw-r--r-- | src/client/views/nodes/PresBox.tsx | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/client/views/nodes/PresBox.tsx b/src/client/views/nodes/PresBox.tsx index e376fbddb..5afd85430 100644 --- a/src/client/views/nodes/PresBox.tsx +++ b/src/client/views/nodes/PresBox.tsx @@ -161,10 +161,8 @@ export class PresBox extends React.Component<FieldViewProps> { //FieldViewProps? if (zoomOut || this.presElementsMappings.get(docAtCurrent)!.showButton) { let prevScale = NumCast(this.childrenDocs[prevSelected].viewScale, null); let curScale = DocumentManager.Instance.getScaleOfDocView(this.childrenDocs[current]); - if (prevScale !== undefined) { - if (prevScale !== curScale) { - DocumentManager.Instance.zoomIntoScale(docAtCurrent, prevScale); - } + if (prevScale !== undefined && prevScale !== curScale) { + DocumentManager.Instance.zoomIntoScale(docAtCurrent, prevScale); } } } |