Changeset 23954 in osm for applications/editors/josm

Timestamp:

2010-10-31T11:45:55+01:00 (14 years ago)

Author:

guardian

Message:

fixed videotime display bug

File:

• applications/editors/josm/plugins/videomapping/src/org/openstreetmap/josm/plugins/videomapping/video/SimpleVideoPlayer.java (modified) (4 diffs)

applications/editors/josm/plugins/videomapping/src/org/openstreetmap/josm/plugins/videomapping/video/SimpleVideoPlayer.java

@@ -2 +2 @@
 import java.awt.Adjustable;
 import org.apache.log4j.Logger;
+import org.apache.log4j.helpers.DateTimeDateFormat;
 
 import java.awt.BorderLayout;
@@ -13 +14 @@
 import java.beans.PropertyChangeListener;
 import java.io.File;
+import java.sql.Time;
+import java.text.DateFormat;
 import java.text.SimpleDateFormat;
 import java.util.Date;
@@ -18 +21 @@
 import java.util.Hashtable ;
 import java.util.Set;
+import java.util.TimeZone;
 import java.util.Timer;
 import java.util.TimerTask;
@@ -340 +344 @@
         if(mp.isPlaying())
         {
-            setTitle(ms.format(new Date(mp.getTime())));
+                long millis=mp.getTime();
+                String s = String.format("%02d:%02d:%02d", //dont know why normal Java date utils doesn't format the time right
+                      TimeUnit.MILLISECONDS.toHours(millis),
+                      TimeUnit.MILLISECONDS.toMinutes(millis) - TimeUnit.HOURS.toMinutes(TimeUnit.MILLISECONDS.toHours(millis)), 
+                      TimeUnit.MILLISECONDS.toSeconds(millis) - TimeUnit.MINUTES.toSeconds(TimeUnit.MILLISECONDS.toMinutes(millis))
+                    );
+            //setTitle(ms.format(new Time(sec)));
+                setTitle(s);
             syncTimeline=true;
             timeline.setValue(Math.round(mp.getPosition()*100));