X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdwidthAdjuster.java;h=0ebdfa180685c5c5a0e37bcc443a13a8dd057614;hb=3a10cfaddf4f4a0949fbecca95f97ccf1d1ca1d6;hp=eef5bfb0866d126684bdfb6b8a15c87fc22e7969;hpb=15c3c0e89d9157187e1ccc6962b115cb255dd04a;p=jalview.git diff --git a/src/jalview/gui/IdwidthAdjuster.java b/src/jalview/gui/IdwidthAdjuster.java index eef5bfb..0ebdfa1 100755 --- a/src/jalview/gui/IdwidthAdjuster.java +++ b/src/jalview/gui/IdwidthAdjuster.java @@ -46,8 +46,6 @@ public class IdwidthAdjuster extends JPanel AlignmentPanel ap; - private boolean manuallyAdjusted = false; - /** * Creates a new IdwidthAdjuster object. * @@ -151,7 +149,7 @@ public class IdwidthAdjuster extends JPanel ap.validateAnnotationDimensions(false); ap.paintAlignment(true, false); - manuallyAdjusted = true; + ap.getIdPanel().getIdCanvas().setManuallyAdjusted(true); } public void setWidth(int newWidth) @@ -167,7 +165,7 @@ public class IdwidthAdjuster extends JPanel public boolean manuallyAdjusted() { - return manuallyAdjusted; + return ap.getIdPanel().getIdCanvas().manuallyAdjusted(); } @Override