Changeset 2107 in josm for trunk/src/org/openstreetmap/josm/gui

Timestamp:

2009-09-12T18:53:18+02:00 (15 years ago)

Author:

stoecker

Message:

close #3313 - patch by xeen - fix display problems with OpenJDK (hopefully)

File:

• trunk/src/org/openstreetmap/josm/gui/MapView.java (modified) (4 diffs)

trunk/src/org/openstreetmap/josm/gui/MapView.java

@@ -9 +9 @@
 import java.awt.Graphics2D;
 import java.awt.Point;
+import java.awt.Rectangle;
 import java.awt.event.ComponentAdapter;
 import java.awt.event.ComponentEvent;
 import java.awt.event.MouseEvent;
 import java.awt.event.MouseMotionListener;
+import java.awt.geom.Area;
 import java.awt.geom.GeneralPath;
 import java.awt.image.BufferedImage;
@@ -366 +368 @@
         // draw world borders
         tempG.setColor(Color.WHITE);
-        GeneralPath path = new GeneralPath();
         Bounds b = getProjection().getWorldBoundsLatLon();
         double lat = b.min.lat();
@@ -372 +373 @@
 
         Point p = getPoint(b.min);
+
+        GeneralPath path = new GeneralPath();
+
         path.moveTo(p.x, p.y);
-
         double max = b.max.lat();
         for(; lat <= max; lat += 1.0)
@@ -399 +402 @@
         }
 
+        int w = offscreenBuffer.getWidth();
+        int h = offscreenBuffer.getHeight();
+
+        // Work around OpenJDK having problems when drawing out of bounds
+        final Area border = new Area(path);
+        // Make the viewport 1px larger in every direction to prevent an
+        // additional 1px border when zooming in
+        final Area viewport = new Area(new Rectangle(-1, -1, w + 2, h + 2));
+        border.intersect(viewport);
+        tempG.draw(border);
+
         if (playHeadMarker != null) {
             playHeadMarker.paint(tempG, this);
         }
-        tempG.draw(path);
 
         g.drawImage(offscreenBuffer, 0, 0, null);