From: amwaterhouse Date: Mon, 1 May 2006 13:22:02 +0000 (+0000) Subject: java 1.1 compatibility X-Git-Tag: Release_2_08_1~17 X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=1ed150e97b6a7df6ebe5cf92ead96cd147a58b7e;p=jalview.git java 1.1 compatibility --- 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);