From 4c27b2c870cb1b4f858f7f4b52c4fe330a8e3b4c Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Thu, 10 Mar 2005 10:12:16 +0000 Subject: [PATCH] resized scale panel --- src/jalview/gui/AlignmentPanel.java | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) 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); //////////////// -- 1.7.10.2