{
BufferedImage lcimg = null;
+ int charWidth = av.getCharWidth();
+ int charHeight = av.getCharHeight();
+
int width = getWidth();
int height = getHeight();
*/
int xOffset = labelWidthWest
+ ((startColumn - ranges.getStartRes()) % viewportWidth)
- * charWidth;
+ * charWidth;
g.translate(xOffset, 0);
// When printing we have an extra clipped region,
}
else
{
- g.setClip(0, (int) clip.getBounds().getY(), viewportWidth * charWidth,
- (int) clip.getBounds().getHeight());
+ g.setClip(0, (int) clip.getBounds().getY(),
+ viewportWidth * charWidth, (int) clip.getBounds().getHeight());
}
/*
* (to support incremental fast paint of image)
*/
g.setColor(Color.white);
- g.fillRect(0, ypos - wrappedSpaceAboveAlignment,
- viewportWidth * charWidth + labelWidthWest,
- wrappedSpaceAboveAlignment);
+ g.fillRect(0, ypos - wrappedSpaceAboveAlignment, viewportWidth
+ * charWidth + labelWidthWest, wrappedSpaceAboveAlignment);
g.setColor(Color.black);
g.translate(labelWidthWest, 0);
int canvasWidth,
int canvasHeight, int startRes)
{
+ int charHeight = av.getCharHeight();
+ int charWidth = av.getCharWidth();
+
// height gap above each panel
int hgap = charHeight;
if (av.getScaleAboveWrapped())