Changeset 992 in josm

Timestamp:

2008-09-19T08:58:08+02:00 (16 years ago)

Author:

stoecker

Message:

added mappaint fontsize. closes bug #1577

File:

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

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

@@ -46 +46 @@
         protected int currentWidth = 0;
         protected Stroke currentStroke = null;
-        protected static final Font orderFont = new Font("Helvetica", Font.PLAIN, 8);
+        protected Font orderFont;
         protected ElemStyles styles;
         protected double circum;
@@ -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));
 
                 if(styles.hasAreas())