From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 10 Mar 2005 10:12:16 +0000 (+0000)
Subject: resized scale panel
X-Git-Tag: Release_2_0~604
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=4c27b2c870cb1b4f858f7f4b52c4fe330a8e3b4c;p=jalview.git

resized scale panel
---

diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java
index a5b50b4..fafcdcd 100755
--- a/src/jalview/gui/AlignmentPanel.java
+++ b/src/jalview/gui/AlignmentPanel.java
@@ -183,7 +183,8 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
     requestFocus();
     invalidate();
     idPanelHolder.setPreferredSize( idPanel.idCanvas.getPreferredSize() );
-
+    idSpaceFillerPanel1.setPreferredSize(new Dimension(500, av.charHeight/2 +12));
+    scalePanelHolder.setPreferredSize(new Dimension(500, av.charHeight/2 +12));
     if(av.getWrapAlignment())
     {
       int max = av.alignment.getWidth()/ (seqPanel.seqCanvas.getWidth()/av.charWidth)+1;
@@ -314,7 +315,7 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene
     ////////////////
     //draw Scale
     pg.translate(idWidth,0);
-    scalePanel.scaleCanvas.drawScale(pg, startRes, endRes, pwidth-idWidth);
+    scalePanel.drawScale(pg, startRes, endRes, pwidth-idWidth);
 
     pg.translate(-idWidth, 30);
     ////////////////