Changeset 33885 in osm for applications/editors/josm/plugins

Timestamp:

2017-11-25T01:17:10+01:00 (7 years ago)

Author:

donvip

Message:

update to JOSM 12643

Location:

applications/editors/josm/plugins/gpxfilter

Files:

• build.xml (modified) (1 diff)
• src/gpxfilter/AddEGpxLayerAction.java (modified) (2 diffs)
• src/gpxfilter/EGpxLayer.java (modified) (2 diffs)
• src/gpxfilter/GpxFilterPlugin.java (modified) (2 diffs)

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

@@ -4 +4 @@
     <property name="commit.message" value="GPXFilter: moved to Alt-Shift-X"/>
     <!-- enter the *lowest* JOSM version this plugin is currently compatible with -->
-    <property name="plugin.main.version" value="10580"/>
+    <property name="plugin.main.version" value="12643"/>
 
     <property name="plugin.author" value="Upliner"/>

applications/editors/josm/plugins/gpxfilter/src/gpxfilter/AddEGpxLayerAction.java

@@ -7 +7 @@
 import java.awt.event.KeyEvent;
 
-import org.openstreetmap.josm.Main;
 import org.openstreetmap.josm.actions.JosmAction;
+import org.openstreetmap.josm.gui.MainApplication;
 import org.openstreetmap.josm.tools.Shortcut;
 
@@ -28 +28 @@
     @Override
     public void actionPerformed(ActionEvent arg0) {
-        getLayerManager().addLayer(new EGpxLayer(Main.map.mapView.getRealBounds()));
+        getLayerManager().addLayer(new EGpxLayer(MainApplication.getMap().mapView.getRealBounds()));
     }
 }

applications/editors/josm/plugins/gpxfilter/src/gpxfilter/EGpxLayer.java

@@ -4 +4 @@
 import static org.openstreetmap.josm.tools.I18n.tr;
 
-import org.openstreetmap.josm.Main;
 import org.openstreetmap.josm.data.Bounds;
 import org.openstreetmap.josm.data.gpx.GpxData;
@@ -29 +28 @@
                     }
 
-                    Main.map.repaint();
+                    invalidate();
                 }
                 grabber.cancel();

applications/editors/josm/plugins/gpxfilter/src/gpxfilter/GpxFilterPlugin.java

@@ -2 +2 @@
 package gpxfilter;
 
-import org.openstreetmap.josm.Main;
+import org.openstreetmap.josm.gui.MainApplication;
 import org.openstreetmap.josm.gui.MainMenu;
 import org.openstreetmap.josm.plugins.Plugin;
@@ -11 +11 @@
     public GpxFilterPlugin(PluginInformation info) {
         super(info);
-        MainMenu.add(Main.main.menu.gpsMenu, new AddEGpxLayerAction(), false, 0);
+        MainMenu.add(MainApplication.getMenu().gpsMenu, new AddEGpxLayerAction(), false, 0);
     }