resized scale panel
authoramwaterhouse <Andrew Waterhouse>
Thu, 10 Mar 2005 10:12:16 +0000 (10:12 +0000)
committeramwaterhouse <Andrew Waterhouse>
Thu, 10 Mar 2005 10:12:16 +0000 (10:12 +0000)
src/jalview/gui/AlignmentPanel.java

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