Changeset 12413 in josm
- Timestamp:
- 2017-06-18T01:22:50+02:00 (7 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/autofilter/AutoFilterManager.java
r12407 r12413 60 60 * Property to determines if the auto filter feature is enabled. 61 61 */ 62 public static final BooleanProperty PROP_AUTO_FILTER_ENABLED = new BooleanProperty("auto.filter.enabled", Boolean.TRUE);62 public static final BooleanProperty PROP_AUTO_FILTER_ENABLED = new BooleanProperty("auto.filter.enabled", true); 63 63 64 64 /** -
trunk/src/org/openstreetmap/josm/io/audio/JavaFxMediaPlayer.java
r12328 r12413 36 36 37 37 private URL url; 38 private Media media;39 38 private MediaPlayer mediaPlayer; 40 39 … … 69 68 throw new FileNotFoundException(url.toString()); 70 69 } 71 media = new Media(url.toString()); 72 mediaPlayer = new MediaPlayer(media); 70 mediaPlayer = new MediaPlayer(new Media(url.toString())); 73 71 mediaPlayer.setOnPlaying(() -> { 74 72 listeners.fireEvent(l -> l.playing(url)); -
trunk/src/org/openstreetmap/josm/io/audio/JavaSoundPlayer.java
r12328 r12413 32 32 private AudioInputStream audioInputStream; 33 33 private SourceDataLine audioOutputLine; 34 private AudioFormat audioFormat;35 34 36 35 private final double leadIn; // seconds … … 67 66 throw new AudioException(e); 68 67 } 69 audioFormat = audioInputStream.getFormat();68 AudioFormat audioFormat = audioInputStream.getFormat(); 70 69 long nBytesRead; 71 70 position = 0.0;
Note:
See TracChangeset
for help on using the changeset viewer.