X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;f=src%2Fjalview%2Fgui%2FIdwidthAdjuster.java;h=99a39d4c4395694f8bd07e756d7ef55918d95578;hb=efee78d45ceeb879d98fedd399a71d84a5ecd5f8;hp=762612e367f6bf5e4800d04abfc4fb5c3f66bbbc;hpb=930e48ff657a783ae52370e49ff4f5bb5a2a4016;p=jalview.git diff --git a/src/jalview/gui/IdwidthAdjuster.java b/src/jalview/gui/IdwidthAdjuster.java index 762612e..99a39d4 100755 --- a/src/jalview/gui/IdwidthAdjuster.java +++ b/src/jalview/gui/IdwidthAdjuster.java @@ -158,11 +158,11 @@ public class IdwidthAdjuster extends JPanel { return; } - + // TODO JAL-4260 - work out how to trigger recomputation of wrapped pages ! int curCol = viewport.getRanges().getStartRes() + viewport.getRanges().getViewportWidth(); - + viewport.setIdWidth(newWidth); ap.validateAnnotationDimensions(false); @@ -172,14 +172,14 @@ public class IdwidthAdjuster extends JPanel curCol - viewport.getRanges().getViewportWidth()); } ap.paintAlignment(true, false); - + ap.getIdPanel().getIdCanvas().setManuallyAdjusted(true); } public void setWidth(int newWidth) { if (newWidth < MIN_ID_WIDTH - || ap.getIdPanel().getIdCanvas().manuallyAdjusted()) + || ap.getIdPanel().getIdCanvas().isManuallyAdjusted()) { return; } @@ -190,7 +190,7 @@ public class IdwidthAdjuster extends JPanel public boolean manuallyAdjusted() { - return ap.getIdPanel().getIdCanvas().manuallyAdjusted(); + return ap.getIdPanel().getIdCanvas().isManuallyAdjusted(); } @Override