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 |
|
|
733 |
} |
} |
734 |
|
|
735 |
public void mouseClicked(MouseEvent e) { |
public void mouseClicked(MouseEvent e) { |
736 |
|
if (mapArea == null) return; |
737 |
// System.out.println("before area "+mapArea+"\nw:"+mapArea.getWidth()+" |
// System.out.println("before area "+mapArea+"\nw:"+mapArea.getWidth()+" |
738 |
// h:"+mapArea.getHeight()); |
// h:"+mapArea.getHeight()); |
739 |
Rectangle bounds = this.getBounds(); |
Rectangle bounds = this.getBounds(); |