Changeset 1245 in josm for trunk/src/org/openstreetmap/josm/tools
- Timestamp:
- 2009-01-11T16:14:58+01:00 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/tools/AudioPlayer.java
r1169 r1245 197 197 command = new Execute(); 198 198 playingUrl = null; 199 try { 200 leadIn = Double.parseDouble(Main.pref.get("audio.leadin", "1.0" /* default, seconds */)); 201 } catch (NumberFormatException e) { 202 leadIn = 1.0; // failed to parse 203 } 204 try { 205 calibration = Double.parseDouble(Main.pref.get("audio.calibration", "1.0" /* default, ratio */)); 206 } catch (NumberFormatException e) { 207 calibration = 1.0; // failed to parse 208 } 199 leadIn = Main.pref.getDouble("audio.leadin", "1.0" /* default, seconds */); 200 calibration = Main.pref.getDouble("audio.calibration", "1.0" /* default, ratio */); 209 201 start(); 210 202 while (state == State.INITIALIZING) { yield(); }
Note:
See TracChangeset
for help on using the changeset viewer.