1471 |
|
|
1472 |
Rectangle curPaintArea = getVisibleRect(); |
Rectangle curPaintArea = getVisibleRect(); |
1473 |
|
|
|
// allow a single pixel margin at the right and bottom edges |
|
|
curPaintArea.width -= 1; |
|
|
curPaintArea.height -= 1; |
|
|
|
|
1474 |
labelCache.clear(); |
labelCache.clear(); |
1475 |
|
|
1476 |
/** |
/** |
1519 |
// LOGGER.debug("creating a new background image"); |
// LOGGER.debug("creating a new background image"); |
1520 |
|
|
1521 |
Rectangle curPaintArea = getVisibleRect(); |
Rectangle curPaintArea = getVisibleRect(); |
|
// allow a single pixel margin at the right and bottom edges |
|
|
curPaintArea.width -= 1; |
|
|
curPaintArea.height -= 1; |
|
1522 |
|
|
1523 |
bgImage = new BufferedImage(curPaintArea.width + 1, |
bgImage = new BufferedImage(curPaintArea.width + 1, |
1524 |
curPaintArea.height + 1, BufferedImage.TYPE_INT_ARGB); |
curPaintArea.height + 1, BufferedImage.TYPE_INT_ARGB); |
1559 |
private BufferedImage getLocalImage() { |
private BufferedImage getLocalImage() { |
1560 |
|
|
1561 |
if (localImage == null) { |
if (localImage == null) { |
1562 |
|
|
1563 |
// LOGGER.debug("creating a new local image"); |
// LOGGER.debug("creating a new local image"); |
1564 |
|
|
1565 |
Rectangle curPaintArea = getVisibleRect(); |
Rectangle curPaintArea = getVisibleRect(); |
|
// allow a single pixel margin at the right and bottom edges |
|
|
curPaintArea.width -= 1; |
|
|
curPaintArea.height -= 1; |
|
1566 |
|
|
1567 |
localImage = new BufferedImage(curPaintArea.width + 1, |
localImage = new BufferedImage(curPaintArea.width + 1, |
1568 |
curPaintArea.height + 1, BufferedImage.TYPE_INT_ARGB); |
curPaintArea.height + 1, BufferedImage.TYPE_INT_ARGB); |