530 |
.getCoordinateReferenceSystem()); |
.getCoordinateReferenceSystem()); |
531 |
} |
} |
532 |
|
|
533 |
if (changed) { /* if the map changed then redraw */ |
if (changed ) { /* if the map changed then redraw */ |
534 |
changed = false; |
changed = false; |
535 |
baseImage = new BufferedImage(dr.width, dr.height, |
baseImage = new BufferedImage(dr.width, dr.height, |
536 |
BufferedImage.TYPE_INT_ARGB); |
BufferedImage.TYPE_INT_ARGB); |
543 |
// draw the map |
// draw the map |
544 |
renderer.paint((Graphics2D) ig, dr, mapArea); |
renderer.paint((Graphics2D) ig, dr, mapArea); |
545 |
|
|
546 |
// TODO , nur machen, wenn panning beginnt |
// TODO nur machen, wenn panning beginnt |
547 |
panningImage = new BufferedImage(dr.width, dr.height, |
panningImage = new BufferedImage(dr.width, dr.height, |
548 |
BufferedImage.TYPE_INT_RGB); |
BufferedImage.TYPE_INT_RGB); |
549 |
|
|