X-Git-Url: http://source.jalview.org/gitweb/?a=blobdiff_plain;ds=inline;f=src%2Fjalview%2Fgui%2FIdwidthAdjuster.java;fp=src%2Fjalview%2Fgui%2FIdwidthAdjuster.java;h=762612e367f6bf5e4800d04abfc4fb5c3f66bbbc;hb=fdb954823b553478208fc3a4a27fe7189c220bff;hp=4596e1f096ed8b5629681fcf0ee147173b23f0ff;hpb=b33b0a310733cc02690cc30ee513747afb2bf520;p=jalview.git diff --git a/src/jalview/gui/IdwidthAdjuster.java b/src/jalview/gui/IdwidthAdjuster.java index 4596e1f..762612e 100755 --- a/src/jalview/gui/IdwidthAdjuster.java +++ b/src/jalview/gui/IdwidthAdjuster.java @@ -158,10 +158,21 @@ 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); + if (viewport.getWrapAlignment()) + { + viewport.getRanges().scrollToWrappedVisible( + curCol - viewport.getRanges().getViewportWidth()); + } ap.paintAlignment(true, false); - + ap.getIdPanel().getIdCanvas().setManuallyAdjusted(true); }