Changeset 2990 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/PluginPreference.java
- Timestamp:
- 2010-02-15T09:03:57+01:00 (16 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/PluginPreference.java
r2955 r2990 53 53 54 54 public class PluginPreference implements PreferenceSetting { 55 @SuppressWarnings("unused") 55 56 private final static Logger logger = Logger.getLogger(PluginPreference.class.getName()); 56 57 … … 297 298 } 298 299 }); 299 } ;300 } 300 301 }; 301 302 Main.worker.submit(task);
Note:
See TracChangeset
for help on using the changeset viewer.
