Changeset 6248 in josm for trunk/src/org/openstreetmap/josm/gui/util/GuiHelper.java
- Timestamp:
- 2013-09-23T16:47:50+02:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/util/GuiHelper.java
r6232 r6248 2 2 package org.openstreetmap.josm.gui.util; 3 3 4 import static org.openstreetmap.josm.tools.I18n.tr; 5 4 6 import java.awt.BasicStroke; 5 import static org.openstreetmap.josm.tools.I18n.tr;6 7 7 import java.awt.Component; 8 8 import java.awt.Container; … … 196 196 } 197 197 } catch (NumberFormatException ex) { 198 System.err.println("Error in stroke preference format: "+code);198 Main.error("Error in stroke preference format: "+code); 199 199 dash = new float[]{5.0f}; 200 200 } 201 201 if (sumAbs < 1e-1) { 202 System.err.println("Error in stroke dash fomat (all zeros): "+code);202 Main.error("Error in stroke dash fomat (all zeros): "+code); 203 203 return new BasicStroke(w); 204 204 }
Note:
See TracChangeset
for help on using the changeset viewer.