Changeset 998 in josm

Timestamp:

Sep 20, 2008 10:48:57 PM (5 years ago)

Author:

stoecker

Message:

make mappaint font configurable

File:

• trunk/src/org/openstreetmap/josm/data/osm/visitor/MapPaintVisitor.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/data/osm/visitor/MapPaintVisitor.java

@@ -326 +326 @@
                 circum = Main.map.mapView.getScale()*100*Main.proj.scaleFactor()*40041455; // circumference of the earth in meter
                 styles = MapPaintStyles.getStyles();
-                orderFont = new Font("Helvetica", Font.PLAIN, Main.pref.getInteger("mappaint.fontsize", 8));
+                orderFont = new Font(Main.pref.get("mappaint.font","Helvetica"), Font.PLAIN, Main.pref.getInteger("mappaint.fontsize", 8));
 
                 if(styles.hasAreas())