Changeset 34603 in osm for applications/editors/josm

Timestamp:

2018-08-27T13:22:36+02:00 (6 years ago)

Author:

donvip

Message:

see #josm16682 - include JavaFX media player

Location:

applications/editors/josm/plugins/openjfx

Files:

• build.xml (modified) (1 diff)
• src/org/openstreetmap/josm/plugins/openjfx/OpenJfxPlugin.java (modified) (2 diffs)
• src/org/openstreetmap/josm/plugins/openjfx/io (added)
• src/org/openstreetmap/josm/plugins/openjfx/io/audio (added)
• src/org/openstreetmap/josm/plugins/openjfx/io/audio/JavaFxMediaPlayer.java (added)
• src/org/openstreetmap/josm/plugins/openjfx/io/audio/package-info.java (added)

applications/editors/josm/plugins/openjfx/build.xml

@@ -4 +4 @@
     <property name="commit.message" value="Commit message"/>
     <!-- enter the *lowest* JOSM version this plugin is currently compatible with -->
-    <property name="plugin.main.version" value="14153"/>
+    <property name="plugin.main.version" value="14183"/>
 
         <!-- Configure these properties (replace "..." accordingly).

applications/editors/josm/plugins/openjfx/src/org/openstreetmap/josm/plugins/openjfx/OpenJfxPlugin.java

@@ -2 +2 @@
 package org.openstreetmap.josm.plugins.openjfx;
 
+import org.openstreetmap.josm.io.audio.AudioPlayer;
 import org.openstreetmap.josm.plugins.Plugin;
 import org.openstreetmap.josm.plugins.PluginInformation;
+import org.openstreetmap.josm.plugins.openjfx.io.audio.JavaFxMediaPlayer;
 
 /**
@@ -16 +18 @@
     public OpenJfxPlugin(PluginInformation info) {
         super(info);
+        AudioPlayer.setSoundPlayerClass(JavaFxMediaPlayer.class);
     }
 }