From 1ed150e97b6a7df6ebe5cf92ead96cd147a58b7e Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Mon, 1 May 2006 13:22:02 +0000 Subject: [PATCH] java 1.1 compatibility --- src/jalview/appletgui/AlignmentPanel.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/jalview/appletgui/AlignmentPanel.java b/src/jalview/appletgui/AlignmentPanel.java index cc89098..ed88418 100755 --- a/src/jalview/appletgui/AlignmentPanel.java +++ b/src/jalview/appletgui/AlignmentPanel.java @@ -113,6 +113,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener scalePanel.setSize(new Dimension(10, av.charHeight + fm.getDescent())); idwidthAdjuster.setSize(new Dimension(10, av.charHeight + fm.getDescent())); +annotationPanel.image = null; int ap = annotationPanel.adjustPanelHeight(); annotationPanel.repaint(); Dimension d = calculateIdWidth(); @@ -228,8 +229,7 @@ public class AlignmentPanel extends Panel implements AdjustmentListener void scrollToWrappedVisible(int res) { - int cwidth = seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas. - getWidth()); + int cwidth = seqPanel.seqCanvas.getWrappedCanvasWidth(seqPanel.seqCanvas.getSize().width); if (res <= av.getStartRes() || res >= (av.getStartRes() + cwidth)) { vscroll.setValue(res / cwidth); -- 1.7.10.2