Ignore:
Timestamp:
2017-11-22T00:12:31+01:00 (7 years ago)
Author:
donvip
Message:

update to JOSM 12840

Location:
applications/editors/josm/plugins/ColumbusCSV
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • applications/editors/josm/plugins/ColumbusCSV

    • Property svn:ignore
      •  

        old new  
        66checkstyle-josm-ColumbusCSV.xml
        77findbugs-josm-ColumbusCSV.xml
         8spotbugs-josm-ColumbusCSV.xml
  • applications/editors/josm/plugins/ColumbusCSV/build.xml

    r33577 r33862  
    44    <property name="commit.message" value="Commit message"/>
    55    <!-- Enter the *lowest* JOSM version this plugin is currently compatible with -->
    6     <property name="plugin.main.version" value="12671"/>
     6    <property name="plugin.main.version" value="12840"/>
    77   
    88    <!-- Plugin meta data -->
  • applications/editors/josm/plugins/ColumbusCSV/src/org/openstreetmap/josm/plugins/columbusCSV/ColumbusCSVPreferences.java

    r33577 r33862  
    7373    @Override
    7474    public boolean ok() {
    75         Main.pref.put(SHOW_SUMMARY, colCSVShowSummary.isSelected());
    76         Main.pref.put(ZOOM_AFTER_IMPORT, colCSVDontZoomAfterImport.isSelected());
    77         Main.pref.put(IGNORE_VDOP, colCSVIgnoreVDOP.isSelected());
    78         Main.pref.put(WARN_CONVERSION_ERRORS, colCSVWarnConversionErrors.isSelected());
    79         Main.pref.put(WARN_MISSING_AUDIO, colCSVWarnMissingAudio.isSelected());       
     75        Main.pref.putBoolean(SHOW_SUMMARY, colCSVShowSummary.isSelected());
     76        Main.pref.putBoolean(ZOOM_AFTER_IMPORT, colCSVDontZoomAfterImport.isSelected());
     77        Main.pref.putBoolean(IGNORE_VDOP, colCSVIgnoreVDOP.isSelected());
     78        Main.pref.putBoolean(WARN_CONVERSION_ERRORS, colCSVWarnConversionErrors.isSelected());
     79        Main.pref.putBoolean(WARN_MISSING_AUDIO, colCSVWarnMissingAudio.isSelected());       
    8080        return false;
    8181    }
Note: See TracChangeset for help on using the changeset viewer.