Changeset 13104 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2017-11-09T20:52:24+01:00 (7 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/mappaint/ElemStyles.java
r13089 r13104 12 12 import java.util.Optional; 13 13 14 import org.openstreetmap.josm.spi.preferences.PreferenceChangeEvent;15 import org.openstreetmap.josm.spi.preferences.PreferenceChangedListener;16 14 import org.openstreetmap.josm.data.osm.Node; 17 15 import org.openstreetmap.josm.data.osm.OsmPrimitive; … … 35 33 import org.openstreetmap.josm.gui.util.GuiHelper; 36 34 import org.openstreetmap.josm.spi.preferences.Config; 35 import org.openstreetmap.josm.spi.preferences.PreferenceChangeEvent; 36 import org.openstreetmap.josm.spi.preferences.PreferenceChangedListener; 37 37 import org.openstreetmap.josm.tools.Pair; 38 38 import org.openstreetmap.josm.tools.Utils; … … 487 487 */ 488 488 boolean remove(StyleSource style) { 489 boolean result = styleSources.remove(style); 490 return result; 489 return styleSources.remove(style); 491 490 } 492 491 -
trunk/src/org/openstreetmap/josm/tools/JosmDecimalFormatSymbolsProvider.java
r13050 r13104 42 42 * @since 13050 43 43 */ 44 public static double parseDouble(String s) throws NumberFormatException{44 public static double parseDouble(String s) { 45 45 String text = s; 46 46 NumberFormat format = DecimalFormat.getInstance();
Note:
See TracChangeset
for help on using the changeset viewer.