From 7a9027c14dc5a1c3daade1f19dd5b6e87df1095e Mon Sep 17 00:00:00 2001 From: amwaterhouse Date: Mon, 18 Apr 2005 16:02:27 +0000 Subject: [PATCH] set PNG antialiasing on --- src/jalview/gui/AlignmentPanel.java | 18 ++++++++++-------- 1 file changed, 10 insertions(+), 8 deletions(-) diff --git a/src/jalview/gui/AlignmentPanel.java b/src/jalview/gui/AlignmentPanel.java index 02330a5..f1874b1 100755 --- a/src/jalview/gui/AlignmentPanel.java +++ b/src/jalview/gui/AlignmentPanel.java @@ -285,6 +285,8 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene public void setScrollValues(int x, int y) { + av.setEndRes(x + seqPanel.seqCanvas.getWidth()/av.getCharWidth()-1); + hextent = seqPanel.seqCanvas.getWidth()/av.charWidth; vextent = seqPanel.seqCanvas.getHeight()/av.charHeight; @@ -308,6 +310,8 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene hscroll.setValues(x,hextent,0,av.getAlignment().getWidth()); vscroll.setValues(y,vextent,0,av.getAlignment().getHeight() ); + + } @@ -339,7 +343,6 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene } } - if(overviewPanel!=null) overviewPanel.setBoxPosition(); @@ -515,15 +518,14 @@ public class AlignmentPanel extends GAlignmentPanel implements AdjustmentListene //////////////// // Draw the ids - pg.setClip(0,0,pwidth, noChunksOnPage*chunkHeight); +// pg.setClip(0,0,pwidth, noChunksOnPage*chunkHeight); pg.setColor(Color.black); int rowSize = av.getEndRes() - av.getStartRes(); - // Draw the rest of the panels - - for(int ypos=2*av.charHeight, row=av.getEndRes(); row