Changeset 23953 in osm for applications/editors/josm/plugins/videomapping

Timestamp:

2010-10-31T10:45:27+01:00 (14 years ago)

Author:

guardian

Message:

better time input

File:

• applications/editors/josm/plugins/videomapping/src/org/openstreetmap/josm/plugins/videomapping/VideoMappingPlugin.java (modified) (3 diffs)

applications/editors/josm/plugins/videomapping/src/org/openstreetmap/josm/plugins/videomapping/VideoMappingPlugin.java

@@ -22 +22 @@
 import javax.swing.JPanel;
 import javax.swing.JRadioButtonMenuItem;
+import javax.swing.SwingUtilities;
 import javax.swing.text.MaskFormatter;
 
@@ -180 +181 @@
                 try {
                 JOptionPane d=new JOptionPane(tr("Jump to"), JOptionPane.QUESTION_MESSAGE, JOptionPane.OK_CANCEL_OPTION);
-                JFormattedTextField inp = new JFormattedTextField(new MaskFormatter("##:##:##"));
+                final JFormattedTextField inp = new JFormattedTextField(new MaskFormatter("##:##:##"));
                 inp.setText("00:00:01");
                 inp.setInputVerifier(new InputVerifier() {                                      
@@ -189 +190 @@
                                         }
                                 });
+                SwingUtilities.invokeLater(new Runnable() {
+                    public void run() {
+                        inp.requestFocus();
+                    }
+                });
                 //TODO here we should show the GPS time range to the user
                 if(d.showConfirmDialog(Main.main.panel,inp, tr("Jump to"),JOptionPane.OK_CANCEL_OPTION)==JOptionPane.OK_OPTION)
                 {
-                        s=inp.getText();
                         Date t;
                         SimpleDateFormat sdf= new SimpleDateFormat("hh:mm:ss");
-                        t = sdf.parse(s);
+                        t = sdf.parse(inp.getText());
                         if (t!=null)
                         {