Ignore:
Timestamp:
2013-07-24T18:01:58+02:00 (11 years ago)
Author:
akks
Message:

[josm_utilsplugin2. josm_commandline, josm_livegps, josm_reverter, josm_opendata, josm_videomapping]:
rearrange menu items and change menu accelerators, add Netbeans projects, fix some syntax warnings

Location:
applications/editors/josm/plugins/videomapping
Files:
2 added
6 edited

Legend:

Unmodified
Added
Removed

  • applications/editors/josm/plugins/videomapping/src/org/openstreetmap/josm/plugins/videomapping/VideoPlugin.java

    r29536 r29769  
    4848//Here we manage properties and start the other classes
    4949public class VideoPlugin extends Plugin implements LayerChangeListener{
    50         private JMenu VMenu,VDeinterlacer;
    51         private JosmAction VAdd,/*VRemove,*/VStart,Vbackward,Vforward,VJump,Vfaster,Vslower,Vloop;
    52         private JRadioButtonMenuItem VIntBob,VIntNone,VIntLinear;
     50    private JMenu VMenu,VDeinterlacer;
     51    private JosmAction VAdd,/*VRemove,*/VStart,Vbackward,Vforward,VJump,Vfaster,Vslower,Vloop;
     52    private JRadioButtonMenuItem VIntBob,VIntNone,VIntLinear;
    5353    private JCheckBoxMenuItem VCenterIcon,VSubTitles;
    5454    private JMenuItem VJumpLength,VLoopLength;
    … …  
    6161    private Integer jumpLength,loopLength;
    6262    private String mostRecentFolder;
    63         private GpxLayer gpsLayer;
    64         private VideoPositionLayer videoPositionLayer;
    65         private GPSVideoPlayer gpsVideoPlayer;
    66        
    67         public static String VLC_VERSION = "2.0.x";
    68 
    69         public VideoPlugin(PluginInformation info) {
    70                 super(info);
    71                 VideoEngine.setupPlayer();
    72                 MapView.addLayerChangeListener(this);                           
    73                 createMenusAndShortCuts();
    74                 enableVideoControlMenus(false);
    75                 setDefaults();
    76                 loadProperties();
    77         }
    78 
    79         private void createMenusAndShortCuts() {
    80                 VMenu = Main.main.menu.addMenu(marktr("Video"), KeyEvent.VK_D, Main.main.menu.defaultMenuPos,ht("/Plugin/Videomapping"));
    81                 VMenu.setEnabled(false);
    82                 VAdd= new JosmAction(tr("Import Video"),"videomapping",tr("Sync a video against this GPS track"),null,false) {
    83             public void actionPerformed(ActionEvent arg0) {                 
     63    private GpxLayer gpsLayer;
     64    private VideoPositionLayer videoPositionLayer;
     65    private GPSVideoPlayer gpsVideoPlayer;
     66
     67    public static String VLC_VERSION = "2.0.x";
     68
     69    public VideoPlugin(PluginInformation info) {
     70        super(info);
     71        VideoEngine.setupPlayer();
     72        MapView.addLayerChangeListener(this);                           
     73        createMenusAndShortCuts();
     74        enableVideoControlMenus(false);
     75        setDefaults();
     76        loadProperties();
     77    }
     78
     79    private void createMenusAndShortCuts() {
     80        boolean oldMenu = org.openstreetmap.josm.data.Version.getInstance().getVersion() < 6082;
     81        VMenu = Main.main.menu.addMenu(marktr("Video"), oldMenu?KeyEvent.VK_D: KeyEvent.VK_Q, Main.main.menu.defaultMenuPos,ht("/Plugin/Videomapping"));
     82        VMenu.setEnabled(false);
     83        VAdd= new JosmAction(tr("Import Video"),"videomapping",tr("Sync a video against this GPS track"),null,false) {
     84            @Override public void actionPerformed(ActionEvent arg0) {                 
    8485                    importVideoFile();
    8586                }
    8687        };
    8788        /*VRemove=*/ new JosmAction(tr("Remove Video"),"videomapping",tr("removes current video from layer"),null,false) {
    88             public void actionPerformed(ActionEvent arg0) {
     89            @Override public void actionPerformed(ActionEvent arg0) {
    8990            }
    9091        };
    9192        VStart = new JosmAction(tr("Play/Pause"), "audio-playpause", tr("starts/pauses video playback"),
    9293                Shortcut.registerShortcut("videomapping:startstop",tr("Video: {0}", tr("Play/Pause")),KeyEvent.VK_NUMPAD5, Shortcut.DIRECT), false, "vm_play_pause",false) {           
    93             public void actionPerformed(ActionEvent e) {
     94            @Override public void actionPerformed(ActionEvent e) {
    9495                if (gpsVideoPlayer != null) {
    9596                    gpsVideoPlayer.pause();
    … …  
    99100        Vbackward = new JosmAction(tr("Backward"), "audio-prev", tr("jumps n sec back"),
    100101                Shortcut.registerShortcut("videomapping:backward",tr("Video: {0}", tr("Backward")),KeyEvent.VK_NUMPAD4, Shortcut.DIRECT), false, "vm_prev",false) {
    101             public void actionPerformed(ActionEvent e) {
     102            @Override public void actionPerformed(ActionEvent e) {
    102103                if (gpsVideoPlayer != null) {
    103104                    gpsVideoPlayer.backward();
    … …  
    107108        Vforward= new JosmAction(tr("Forward"), "audio-next", tr("jumps n sec forward"),
    108109                Shortcut.registerShortcut("videomapping:forward",tr("Video: {0}", tr("Forward")),KeyEvent.VK_NUMPAD6, Shortcut.DIRECT), false, "vm_next",false) {
    109             public void actionPerformed(ActionEvent e) {
     110            @Override public void actionPerformed(ActionEvent e) {
    110111                if (gpsVideoPlayer != null) {
    111112                    gpsVideoPlayer.forward();
    … …  
    116117                Shortcut.registerShortcut("videomapping:faster",tr("Video: {0}", tr("Faster")),KeyEvent.VK_NUMPAD8, Shortcut.DIRECT), false, "vm_faster",false) {
    117118           
    118             public void actionPerformed(ActionEvent e) {
     119            @Override public void actionPerformed(ActionEvent e) {
    119120                if (gpsVideoPlayer != null) {
    120121                    gpsVideoPlayer.setSpeed(gpsVideoPlayer.getSpeed()+20);
    … …  
    125126                Shortcut.registerShortcut("videomapping:slower",tr("Video: {0}", tr("Slower")),KeyEvent.VK_NUMPAD2, Shortcut.DIRECT), false, "vm_slower",false) {
    126127           
    127             public void actionPerformed(ActionEvent e) {
     128            @Override public void actionPerformed(ActionEvent e) {
    128129                if (gpsVideoPlayer != null) {
    129130                    gpsVideoPlayer.setSpeed(gpsVideoPlayer.getSpeed()-20);
    … …  
    132133        };
    133134        VJump= new JosmAction(tr("Jump To"), "jumpto", tr("jumps to the entered gps time"),null, false) {
    134             public void actionPerformed(ActionEvent e) {
     135            @Override public void actionPerformed(ActionEvent e) {
    135136                showJumpTo();
    136137            }
    … …  
    140141        Vloop= new JosmAction(tr("Loop"), "loop", tr("loops n sec around current position"),
    141142                Shortcut.registerShortcut("videomapping:loop",tr("Video: {0}", tr("Loop")),KeyEvent.VK_NUMPAD7, Shortcut.DIRECT), false) {           
    142             public void actionPerformed(ActionEvent e) {
     143            @Override public void actionPerformed(ActionEvent e) {
    143144                if (gpsVideoPlayer != null) {
    144145                    gpsVideoPlayer.toggleLooping();
    … …  
    149150        //now the options menu
    150151        VCenterIcon = new JCheckBoxMenuItem(new JosmAction(tr("Keep centered"), (String)null, tr("follows the video icon automaticly"),null, false,"vm_keepcentered",false) {           
    151             public void actionPerformed(ActionEvent e) {
     152            @Override public void actionPerformed(ActionEvent e) {
    152153                if (videoPositionLayer != null) {
    153154                    videoPositionLayer.setAutoCenter(VCenterIcon.isSelected());
    … …  
    157158       
    158159        VSubTitles = new JCheckBoxMenuItem(new JosmAction(tr("Subtitles"), (String)null, tr("Show subtitles in video"),null, false,"vm_subtitles",false) {
    159             public void actionPerformed(ActionEvent e) {
     160            @Override public void actionPerformed(ActionEvent e) {
    160161                if (gpsVideoPlayer != null) {
    161162                    gpsVideoPlayer.setSubtitles(VSubTitles.isSelected());
    … …  
    165166       
    166167        VJumpLength = new JMenuItem(new JosmAction(tr("Jump length"), (String)null, tr("Set the length of a jump"),null, false,"vm_jumplen",false) {           
    167             public void actionPerformed(ActionEvent e) {
     168            @Override public void actionPerformed(ActionEvent e) {
    168169                Object[] possibilities = {"200", "500", "1000", "2000", "10000"};
    169170                String s = (String)JOptionPane.showInputDialog(Main.parent,tr("Jump in video for x ms"),tr("Jump length"),JOptionPane.QUESTION_MESSAGE,null,possibilities,jumpLength);
    … …  
    174175       
    175176        VLoopLength = new JMenuItem(new JosmAction(tr("Loop length"), (String)null, tr("Set the length around a looppoint"),null, false,"vm_looplen",false) {           
    176             public void actionPerformed(ActionEvent e) {
     177            @Override public void actionPerformed(ActionEvent e) {
    177178                Object[] possibilities = {"500", "1000", "3000", "5000", "10000"};
    178179                String s = (String)JOptionPane.showInputDialog(Main.parent,tr("Jump in video for x ms"),tr("Loop length"),JOptionPane.QUESTION_MESSAGE,null,possibilities,loopLength);
    … …  
    184185        VDeinterlacer= new JMenu("Deinterlacer");
    185186        VIntNone= new JRadioButtonMenuItem(new JosmAction(tr("none"), (String)null, tr("no deinterlacing"),null, false,"vm_deinterlacer",false) {           
    186             public void actionPerformed(ActionEvent e) {
     187            @Override public void actionPerformed(ActionEvent e) {
    187188                if (gpsVideoPlayer != null) {
    188189                    gpsVideoPlayer.setDeinterlacer(null);
    … …  
    191192        });
    192193        VIntBob= new JRadioButtonMenuItem(new JosmAction("bob", (String)null, tr("deinterlacing using line doubling"),null, false,"vm_bobdeinterlace",false) {
    193             public void actionPerformed(ActionEvent e) {
     194            @Override public void actionPerformed(ActionEvent e) {
    194195                if (gpsVideoPlayer != null) {
    195196                    gpsVideoPlayer.setDeinterlacer(DeinterlaceMode.BOB);
    … …  
    198199        });
    199200        VIntLinear= new JRadioButtonMenuItem(new JosmAction("linear", (String)null, tr("deinterlacing using linear interpolation"),null, false,"vm_lineardeinterlace",false) {
    200             public void actionPerformed(ActionEvent e) {
     201            @Override public void actionPerformed(ActionEvent e) {
    201202                if (gpsVideoPlayer != null) {
    202203                    gpsVideoPlayer.setDeinterlacer(DeinterlaceMode.LINEAR);
    … …  
    223224    }
    224225
    225         protected void importVideoFile() {
    226                 JFileChooser fc = new JFileChooser(mostRecentFolder);
     226    protected void importVideoFile() {
     227        JFileChooser fc = new JFileChooser(mostRecentFolder);
    227228        fc.setSelectedFile(new File(mostRecentFolder));
    228229        if (fc.showOpenDialog(Main.parent) != JFileChooser.CANCEL_OPTION) {
    229                 mostRecentFolder=fc.getSelectedFile().getAbsolutePath();
    230                 saveProperties();
    231                 if (videoPositionLayer == null && gpsLayer != null) {
    232                         videoPositionLayer = new VideoPositionLayer(gpsLayer);
    233                 gpsVideoPlayer = new GPSVideoPlayer(new SimpleDateFormat("hh:mm:ss") ,videoPositionLayer);
    234                 gpsVideoPlayer.setJumpLength(jumpLength);
    235                 gpsVideoPlayer.setLoopLength(loopLength);
    236                 enableVideoControlMenus(true);
    237                 }
    238                 if (gpsVideoPlayer != null && gpsVideoPlayer.isCorrectlyInitiliazed()) {
    239                     gpsVideoPlayer.addVideo(fc.getSelectedFile());
    240                 } else {
     230            mostRecentFolder=fc.getSelectedFile().getAbsolutePath();
     231            saveProperties();
     232            if (videoPositionLayer == null && gpsLayer != null) {
     233                videoPositionLayer = new VideoPositionLayer(gpsLayer);
     234                gpsVideoPlayer = new GPSVideoPlayer(new SimpleDateFormat("hh:mm:ss") ,videoPositionLayer);
     235                gpsVideoPlayer.setJumpLength(jumpLength);
     236                gpsVideoPlayer.setLoopLength(loopLength);
     237                enableVideoControlMenus(true);
     238            }
     239            if (gpsVideoPlayer != null && gpsVideoPlayer.isCorrectlyInitiliazed()) {
     240                gpsVideoPlayer.addVideo(fc.getSelectedFile());
     241            } else {
    241242                JOptionPane.showMessageDialog(Main.parent,
    242                         tr("VLC library is not correctly initialized."+
    243                                 " Please check that VLC {0} is correctly installed on your system."+
    244                                 " Its architecture (32/64 bits) must also be the same as the JRE that runs JOSM.", VLC_VERSION),
    245                         tr("Error"), JOptionPane.ERROR_MESSAGE
    246                         );
    247                 }
     243                    tr("VLC library is not correctly initialized."+
     244                            " Please check that VLC {0} is correctly installed on your system."+
     245                            " Its architecture (32/64 bits) must also be the same as the JRE that runs JOSM.", VLC_VERSION),
     246                    tr("Error"), JOptionPane.ERROR_MESSAGE);
     247            }
    248248        }               
    249         }
    250 
    251         private void enableVideoControlMenus(boolean b) {
    252                 VStart.setEnabled(b);
     249    }
     250
     251    private void enableVideoControlMenus(boolean b) {
     252        VStart.setEnabled(b);
    253253        Vbackward.setEnabled(b);
    254254        Vforward.setEnabled(b);
    … …  
    257257        Vslower.setEnabled(b);
    258258        VJump.setEnabled(b);           
    259         }
     259    }
    260260       
    261         private void setDefaults() {
    262                 autoCenter=false;
     261    private void setDefaults() {
     262        autoCenter=false;
    263263//              deinterlacer="";
    264                 jumpLength=1000;
    265                 loopLength=6000;
    266                 mostRecentFolder=System.getProperty("user.home");               
    267         }
     264        jumpLength=1000;
     265        loopLength=6000;
     266        mostRecentFolder=System.getProperty("user.home");               
     267    }
    268268       
    269         private void loadProperties() {
     269    private void loadProperties() {
    270270        String temp;       
    271271        temp=Main.pref.get(PROP_AUTOCENTER);
    … …  
    283283    }
    284284       
    285         private void saveProperties(){
     285    private void saveProperties(){
    286286        Main.pref.put(PROP_AUTOCENTER, autoCenter);
    287287        Main.pref.put(PROP_JUMPLENGTH, jumpLength.toString());
    … …  
    290290    }
    291291       
    292         private void showJumpTo()
    293         {
    294         try {
    295                 JOptionPane d=new JOptionPane(tr("Jump to"), JOptionPane.QUESTION_MESSAGE, JOptionPane.OK_CANCEL_OPTION);               
    296                 SimpleDateFormat gpsTimeFormat= new SimpleDateFormat("HH:mm:ss");
    297                 String timerange=gpsTimeFormat.format(videoPositionLayer.getFirstWayPoint().getTime())+" - ";
    298                 timerange=timerange+gpsTimeFormat.format(videoPositionLayer.getLastWayPoint().getTime());
    299                 d.add(new JLabel(timerange)); //TODO for some reason this doesn't work -> use dialog
    300                 final JFormattedTextField inp = new JFormattedTextField(new MaskFormatter("##:##:##"));
    301                 inp.setText(gpsTimeFormat.format( videoPositionLayer.getGPSDate()));
    302                 inp.setInputVerifier(new InputVerifier() {                                     
    303                                 @Override
    304                                 public boolean verify(JComponent input) {
    305                                         return false;
    306                                 }
    307                         });
    308                 //hack to set the focus
    309                 SwingUtilities.invokeLater(new Runnable() {
    310                     public void run() {
    311                         inp.requestFocus();
    312                         inp.setCaretPosition(0);
    313                     }
    314                 });
    315                 if (JOptionPane.showConfirmDialog(Main.panel,inp, tr("Jump to GPS time"),JOptionPane.OK_CANCEL_OPTION) == JOptionPane.OK_OPTION)
    316                 {
    317                         //add the day to the time
    318                         Date t = gpsTimeFormat.parse(inp.getText());                   
    319                         Calendar time = Calendar.getInstance();
    320                         Calendar date = Calendar.getInstance();
    321                         time.setTime(t);
    322                         date.setTime(videoPositionLayer.getFirstWayPoint().getTime());
    323                         time.set(date.get(Calendar.YEAR), date.get(Calendar.MONTH), date.get(Calendar.DATE));
    324                     if (t!=null)
    325                     {
    326                         videoPositionLayer.jump(time.getTime());
    327                     }                       
    328                 }
     292    private void showJumpTo() {
     293        try {
     294            JOptionPane d=new JOptionPane(tr("Jump to"), JOptionPane.QUESTION_MESSAGE, JOptionPane.OK_CANCEL_OPTION);           
     295            SimpleDateFormat gpsTimeFormat= new SimpleDateFormat("HH:mm:ss");
     296            String timerange=gpsTimeFormat.format(videoPositionLayer.getFirstWayPoint().getTime())+" - ";
     297            timerange=timerange+gpsTimeFormat.format(videoPositionLayer.getLastWayPoint().getTime());
     298            d.add(new JLabel(timerange)); //TODO for some reason this doesn't work -> use dialog
     299            final JFormattedTextField inp = new JFormattedTextField(new MaskFormatter("##:##:##"));
     300            inp.setText(gpsTimeFormat.format( videoPositionLayer.getGPSDate()));
     301            inp.setInputVerifier(new InputVerifier() {                                 
     302                    @Override
     303                    public boolean verify(JComponent input) {
     304                        return false;
     305                    }
     306                });
     307            //hack to set the focus
     308            SwingUtilities.invokeLater(new Runnable() {
     309                @Override
     310                public void run() {
     311                    inp.requestFocus();
     312                    inp.setCaretPosition(0);
     313                }
     314            });
     315            if (JOptionPane.showConfirmDialog(Main.panel,inp, tr("Jump to GPS time"),JOptionPane.OK_CANCEL_OPTION) == JOptionPane.OK_OPTION)
     316            {
     317                    //add the day to the time
     318                    Date t = gpsTimeFormat.parse(inp.getText());                       
     319                    Calendar time = Calendar.getInstance();
     320                    Calendar date = Calendar.getInstance();
     321                    time.setTime(t);
     322                    date.setTime(videoPositionLayer.getFirstWayPoint().getTime());
     323                    time.set(date.get(Calendar.YEAR), date.get(Calendar.MONTH), date.get(Calendar.DATE));
     324                if (t!=null)
     325                {
     326                    videoPositionLayer.jump(time.getTime());
     327                }                       
     328            }
    329329        } catch (ParseException e1) {
    330                 e1.printStackTrace();
     330            e1.printStackTrace();
    331331        }
    332         }
    333        
    334 
    335         public void activeLayerChange(Layer oldLayer, Layer newLayer) {
     332    }
     333
     334    @Override
     335    public void activeLayerChange(Layer oldLayer, Layer newLayer) {
    336336        VMenu.setEnabled(true);
    337337        if (newLayer instanceof GpxLayer)
    … …  
    343343    }
    344344
    345         public void layerAdded(Layer arg0) {
    346                 activeLayerChange(null,arg0);
    347                
    348         }
    349 
    350         public void layerRemoved(Layer arg0) {
    351                 if(arg0 instanceof VideoPositionLayer)
    352                         enableVideoControlMenus(false);
    353                 activeLayerChange(null,arg0);
    354                
    355         }
     345    @Override
     346    public void layerAdded(Layer arg0) {
     347        activeLayerChange(null,arg0);
     348    }
     349
     350    @Override
     351    public void layerRemoved(Layer arg0) {
     352        if(arg0 instanceof VideoPositionLayer)
     353                enableVideoControlMenus(false);
     354        activeLayerChange(null,arg0);
     355    }
    356356  }

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

    r28949 r29769  
    4242                syncButton.setBackground(Color.RED);           
    4343                syncButton.addActionListener(new ActionListener() {
     44            @Override
    4445            public void actionPerformed(ActionEvent e) {
    4546                resync(e);

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

    r28924 r29769  
    319319        }
    320320
    321         public void backward(MediaPlayer arg0) {
    322                
    323         }
     321        @Override
     322        public void backward(MediaPlayer arg0) { }
    324323/*
    325324        public void buffering(MediaPlayer arg0) {
    … …  
    327326        }
    328327*/
    329         public void error(MediaPlayer arg0) {
    330                
    331         }
    332 
    333         public void finished(MediaPlayer arg0) {
    334                
    335         }
    336 
    337         public void forward(MediaPlayer arg0) {
    338                
    339         }
    340 
    341         public void lengthChanged(MediaPlayer arg0, long arg1) {
    342                
    343         }
     328        @Override
     329        public void error(MediaPlayer arg0) { }
     330
     331        @Override
     332        public void finished(MediaPlayer arg0) { }
     333
     334        @Override
     335        public void forward(MediaPlayer arg0) { }
     336
     337        @Override
     338        public void lengthChanged(MediaPlayer arg0, long arg1) { }
    344339/*
    345340        public void mediaChanged(MediaPlayer arg0) {
    … …  
    353348        }
    354349*/
    355         public void opening(MediaPlayer arg0) {
    356                
    357         }
    358 
    359         public void pausableChanged(MediaPlayer arg0, int arg1) {
    360                
    361         }
    362 
    363         public void paused(MediaPlayer arg0) {
    364                        
    365         }
    366 
    367         public void playing(MediaPlayer arg0) {
    368                
    369         }
    370 
    371         public void positionChanged(MediaPlayer arg0, float arg1) {
    372                
    373         }
    374 
    375         public void seekableChanged(MediaPlayer arg0, int arg1) {
    376                
    377         }
    378 
    379         public void snapshotTaken(MediaPlayer arg0, String arg1) {
    380                
    381         }
    382 
    383         public void stopped(MediaPlayer arg0) {
    384                
    385         }
    386 
    387         public void timeChanged(MediaPlayer arg0, long arg1) {
    388                
    389         }
    390 
    391         public void titleChanged(MediaPlayer arg0, int arg1) {
    392                
    393         }
     350        @Override
     351        public void opening(MediaPlayer arg0) { }
     352
     353        @Override
     354        public void pausableChanged(MediaPlayer arg0, int arg1) { }
     355
     356        @Override
     357        public void paused(MediaPlayer arg0) { }
     358
     359        @Override
     360        public void playing(MediaPlayer arg0) { }
     361
     362        @Override
     363        public void positionChanged(MediaPlayer arg0, float arg1) { }
     364
     365        @Override
     366        public void seekableChanged(MediaPlayer arg0, int arg1) { }
     367
     368        @Override
     369        public void snapshotTaken(MediaPlayer arg0, String arg1) { }
     370
     371        @Override
     372        public void stopped(MediaPlayer arg0) { }
     373
     374        @Override
     375        public void timeChanged(MediaPlayer arg0, long arg1) { }
     376
     377        @Override
     378        public void titleChanged(MediaPlayer arg0, int arg1) { }
    394379
    395380        public boolean isNoVideoPlaying() {

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

    r29536 r29769  
    3030import uk.co.caprica.vlcj.player.DeinterlaceMode;
    3131
    32 //basic UI of a videoplayer for multiple videos incl. notifications
     32/** basic UI of a videoplayer for multiple videos incl. notifications
     33 */
    3334public class VideoPlayer extends JFrame implements WindowListener, VideosObserver, VideoPlayerObserver {
    3435        private static final int notificationIntervall = 500;
    … …  
    205206       
    206207        play.addActionListener(new ActionListener() {           
    207             public void actionPerformed(ActionEvent arg0) {
     208            @Override public void actionPerformed(ActionEvent arg0) {
    208209            pause();               
    209210            }
    … …  
    212213        back.addActionListener(new ActionListener() {
    213214           
    214             public void actionPerformed(ActionEvent arg0) {
     215            @Override public void actionPerformed(ActionEvent arg0) {
    215216                backward();
    216217            }
    … …  
    219220        forward.addActionListener(new ActionListener() {
    220221           
    221             public void actionPerformed(ActionEvent arg0) {
     222            @Override public void actionPerformed(ActionEvent arg0) {
    222223                forward();
    223224            }
    … …  
    226227        loop.addActionListener(new ActionListener() {
    227228
    228             public void actionPerformed(ActionEvent arg0) {
     229            @Override public void actionPerformed(ActionEvent arg0) {
    229230                toggleLooping();
    230231            }
    … …  
    233234        mute.addActionListener(new ActionListener() {
    234235
    235             public void actionPerformed(ActionEvent arg0) {
     236            @Override public void actionPerformed(ActionEvent arg0) {
    236237                mute();
    237238            }
    … …  
    239240       
    240241        timeline.addChangeListener(new ChangeListener() {
     242            @Override
    241243            public void stateChanged(ChangeEvent e) {
    242244                        //skip events, fired by this sliede, one cycle ago             
    … …  
    252254       
    253255        speed.addChangeListener(new ChangeListener() {           
     256            @Override
    254257            public void stateChanged(ChangeEvent arg0) {                           
    255258                if(!speed.getValueIsAdjusting())
    … …  
    311314        }
    312315
    313         public void windowActivated(WindowEvent arg0) {
    314                 // TODO Auto-generated method stub
    315                
    316         }
    317 
    318         public void windowClosed(WindowEvent arg0) {
    319                
    320         }
    321 
     316        @Override
     317        public void windowActivated(WindowEvent arg0) { }
     318
     319        @Override
     320        public void windowClosed(WindowEvent arg0) { }
     321
     322        @Override
    322323        public void windowClosing(WindowEvent arg0) {   
    323324                videoengine.unload();
    324325        }
    325326
    326         public void windowDeactivated(WindowEvent arg0) {
    327                 // TODO Auto-generated method stub
    328                
    329         }
    330 
    331         public void windowDeiconified(WindowEvent arg0) {
    332                 // TODO Auto-generated method stub
    333                
    334         }
    335 
    336         public void windowIconified(WindowEvent arg0) {
    337                 // TODO Auto-generated method stub
    338                
    339         }
    340 
    341         public void windowOpened(WindowEvent arg0) {
    342                 // TODO Auto-generated method stub
    343                
    344         }
    345 
     327        @Override
     328        public void windowDeactivated(WindowEvent arg0) { }
     329
     330        @Override
     331        public void windowDeiconified(WindowEvent arg0) { }
     332
     333        @Override
     334        public void windowIconified(WindowEvent arg0) { }
     335
     336        @Override
     337        public void windowOpened(WindowEvent arg0) { }
     338
     339        @Override
    346340        public void update(VideoObserversEvents event) {
    347                 switch (event)
    348                 {               
    349                         case resizing:
    350                         {
    351                                 pack();
    352                                 break;
    353                         }
    354                         case speeding:
    355                         {
    356                                 speed.setValue(videoengine.getSpeed());
    357                                 break;
    358                         }
    359                         case jumping:
    360                         {                       
    361                                 break;
    362                         }
    363                 }               
     341            switch (event)
     342            {           
     343                case resizing:
     344                {
     345                    pack();
     346                    break;
     347                }
     348                case speeding:
     349                {
     350                    speed.setValue(videoengine.getSpeed());
     351                    break;
     352                }
     353                case jumping:
     354                {                       
     355                    break;
     356                }
     357            }           
    364358        }
    365359
    366360        //keep internal controls up to date during playback
     361        @Override
    367362        public void update_plays() {
    368363                timeline.setValue(videoengine.getPosition());

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

    r25896 r29769  
    11package org.openstreetmap.josm.plugins.videomapping.video;
    22
    3 //update mechanism for GPS position, title bar,...
     3/** Update mechanism for GPS position, title bar,...
     4 */
    45public interface VideoPlayerObserver {
    56        public void update_plays();
    6 
    77}

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

    r25896 r29769  
    11package org.openstreetmap.josm.plugins.videomapping.video;
    22
    3 //getting basic control informations per video
     3/** Getting basic control informations per video
     4 */
    45public interface VideosObserver {
    5 
    66        void update(VideoObserversEvents event);
    7 
    87}
Note: See TracChangeset for help on using the changeset viewer.