Changeset 33774 in osm for applications/editors/josm/plugins/imagery_offset_db/src/iodb/ImageryOffsetPlugin.java

Timestamp:

2017-11-05T19:09:17+01:00 (8 years ago)

Author:

donvip

Message:

update to JOSM 12840

File:

• applications/editors/josm/plugins/imagery_offset_db/src/iodb/ImageryOffsetPlugin.java (modified) (2 diffs)

applications/editors/josm/plugins/imagery_offset_db/src/iodb/ImageryOffsetPlugin.java

@@ -5 +5 @@
 
 import java.awt.event.KeyEvent;
-import java.util.Collection;
 import java.util.LinkedList;
+import java.util.List;
 
 import javax.swing.JMenu;
@@ -50 +50 @@
                 // an ugly hack to add this plugin to the toolbar
                 if (Main.pref.getBoolean("iodb.modify.toolbar", true)) {
-                    Collection<String> toolbar = new LinkedList<>(ToolbarPreferences.getToolString());
+                    List<String> toolbar = new LinkedList<>(ToolbarPreferences.getToolString());
                     if (!toolbar.contains("getoffset")) {
                         toolbar.add("getoffset");
-                        Main.pref.putCollection("toolbar", toolbar);
+                        Main.pref.putList("toolbar", toolbar);
                         MainApplication.getToolbar().refreshToolbarControl();
                     }
-                    Main.pref.put("iodb.modify.toolbar", false);
+                    Main.pref.putBoolean("iodb.modify.toolbar", false);
                 }
     }