Changeset 31127 in osm for applications/viewer/jmapviewer/src/org/openstreetmap/gui

Timestamp:

2015-05-14T21:39:55+02:00 (10 years ago)

Author:

stoecker

Message:

fix #josm11419 - High DPI tiles

Location:

applications/viewer/jmapviewer/src/org/openstreetmap/gui/jmapviewer

Files:

• JMapViewer.java (modified) (1 diff)
• Tile.java (modified) (1 diff)

applications/viewer/jmapviewer/src/org/openstreetmap/gui/jmapviewer/JMapViewer.java

@@ -585 +585 @@
                         }
                         if (tile != null) {
-                            tile.paint(g, posx, posy);
+                            tile.paint(g, posx, posy, tilesize, tilesize);
                             if (tileGridVisible) {
                                 g.drawRect(posx, posy, tilesize, tilesize);

applications/viewer/jmapviewer/src/org/openstreetmap/gui/jmapviewer/Tile.java

@@ -220 +220 @@
     }
 
+    /**
+     * Paints the tile-image on the {@link Graphics} <code>g</code> at the
+     * position <code>x</code>/<code>y</code>.
+     *
+     * @param g the Graphics object
+     * @param x x-coordinate in <code>g</code>
+     * @param y y-coordinate in <code>g</code>
+     * @param width width that tile should have
+     * @param height height that tile should have
+     */
+    public void paint(Graphics g, int x, int y, int width, int height) {
+        if (image == null)
+            return;
+        g.drawImage(image, x, y, width, height, null);
+    }
+
+
     @Override
     public String toString() {