1061 |
|
|
1062 |
oldMapArea = mapArea; |
oldMapArea = mapArea; |
1063 |
|
|
|
System.out.println("requested setting to \\t" + newMapArea); |
|
1064 |
this.mapArea = bestAllowedMapArea(newMapArea); |
this.mapArea = bestAllowedMapArea(newMapArea); |
|
System.out.println("set to \\t\\ลง" + newMapArea); |
|
1065 |
|
|
1066 |
if (localContext != null) { |
if (localContext != null) { |
1067 |
localContext.setAreaOfInterest(mapArea, localContext |
localContext.setAreaOfInterest(mapArea, localContext |
1076 |
mapAreaChanged = true; |
mapAreaChanged = true; |
1077 |
repaint(); |
repaint(); |
1078 |
|
|
1079 |
LOGGER.debug("New maparea = " + mapArea); |
// LOGGER.debug("New maparea = " + mapArea); |
1080 |
return true; |
return true; |
1081 |
} |
} |
1082 |
|
|
1520 |
private BufferedImage getBgImage() { |
private BufferedImage getBgImage() { |
1521 |
|
|
1522 |
if (bgImage == null) { |
if (bgImage == null) { |
1523 |
LOGGER.debug("creating a new background image"); |
// LOGGER.debug("creating a new background image"); |
1524 |
|
|
1525 |
Rectangle curPaintArea = getVisibleRect(); |
Rectangle curPaintArea = getVisibleRect(); |
1526 |
// allow a single pixel margin at the right and bottom edges |
// allow a single pixel margin at the right and bottom edges |
1566 |
private BufferedImage getLocalImage() { |
private BufferedImage getLocalImage() { |
1567 |
|
|
1568 |
if (localImage == null) { |
if (localImage == null) { |
1569 |
LOGGER.debug("creating a new local image"); |
// LOGGER.debug("creating a new local image"); |
1570 |
|
|
1571 |
Rectangle curPaintArea = getVisibleRect(); |
Rectangle curPaintArea = getVisibleRect(); |
1572 |
// allow a single pixel margin at the right and bottom edges |
// allow a single pixel margin at the right and bottom edges |
1615 |
* @see MapPaneListener#onRenderingStopped(org.geotools.swing.event.MapPaneEvent) |
* @see MapPaneListener#onRenderingStopped(org.geotools.swing.event.MapPaneEvent) |
1616 |
*/ |
*/ |
1617 |
public void onRenderingCompleted() { |
public void onRenderingCompleted() { |
|
System.out.println("onRenderingCompleted"); |
|
|
|
|
1618 |
updateFinalImage(); |
updateFinalImage(); |
|
|
|
1619 |
repaint(); |
repaint(); |
|
|
|
1620 |
} |
} |
1621 |
|
|
1622 |
/** |
/** |
2027 |
public void dispose() { |
public void dispose() { |
2028 |
if (isDisposed()) |
if (isDisposed()) |
2029 |
return; |
return; |
2030 |
|
|
2031 |
|
setPainting(false); |
2032 |
|
|
2033 |
disposed = true; |
disposed = true; |
2034 |
|
|