From: gmungoc Date: Sat, 23 Mar 2019 08:49:52 +0000 (+0000) Subject: JAL-1889 explicit recalc of geometry for scale left/right/above on/off X-Git-Tag: Release_2_11_0~17^2~32 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=2aaeed34a80cf782d2ea57a74bb5aa0880ee2aa1;p=jalview.git JAL-1889 explicit recalc of geometry for scale left/right/above on/off --- diff --git a/src/jalview/gui/AlignFrame.java b/src/jalview/gui/AlignFrame.java index 4ff1b4f..0239bb4 100644 --- a/src/jalview/gui/AlignFrame.java +++ b/src/jalview/gui/AlignFrame.java @@ -3104,7 +3104,7 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener, protected void scaleAbove_actionPerformed(ActionEvent e) { viewport.setScaleAboveWrapped(scaleAbove.isSelected()); - // TODO: do we actually need to update overview for scale above change ? + alignPanel.updateLayout(); alignPanel.paintAlignment(true, false); } @@ -3118,6 +3118,7 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener, protected void scaleLeft_actionPerformed(ActionEvent e) { viewport.setScaleLeftWrapped(scaleLeft.isSelected()); + alignPanel.updateLayout(); alignPanel.paintAlignment(true, false); } @@ -3131,6 +3132,7 @@ public class AlignFrame extends GAlignFrame implements DropTargetListener, protected void scaleRight_actionPerformed(ActionEvent e) { viewport.setScaleRightWrapped(scaleRight.isSelected()); + alignPanel.updateLayout(); alignPanel.paintAlignment(true, false); }