Changeset 9721 in josm for trunk/src/org
- Timestamp:
- 2016-02-03T15:03:32+01:00 (9 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/actions/SaveActionBase.java
r9702 r9721 198 198 // No filefilter accepts current filename, add default extension 199 199 String fn = file.getPath(); 200 if (extension != null ) {200 if (extension != null && ff.accept(new File(fn + '.' + extension))) { 201 201 fn += '.' + extension; 202 202 } else if (ff instanceof ExtensionFileFilter) { -
trunk/src/org/openstreetmap/josm/gui/layer/OsmDataLayer.java
r9714 r9721 76 76 import org.openstreetmap.josm.data.osm.visitor.paint.relations.MultipolygonCache; 77 77 import org.openstreetmap.josm.data.preferences.IntegerProperty; 78 import org.openstreetmap.josm.data.preferences.StringProperty; 78 79 import org.openstreetmap.josm.data.projection.Projection; 79 80 import org.openstreetmap.josm.data.validation.TestError; … … 128 129 public static final IntegerProperty PROPERTY_RECENT_RELATIONS_NUMBER = new IntegerProperty("properties.last-closed-relations-size", 129 130 DEFAULT_RECENT_RELATIONS_NUMBER); 131 public static final StringProperty PROPERTY_SAVE_EXTENSION = new StringProperty("save.extension.osm", "osm"); 132 130 133 131 134 /** List of recent relations */ … … 1007 1010 @Override 1008 1011 public File createAndOpenSaveFileChooser() { 1009 String extension = Main.pref.get("save.extension.osm", "osm");1012 String extension = PROPERTY_SAVE_EXTENSION.get(); 1010 1013 File file = getAssociatedFile(); 1011 1014 if (file == null && isRenamed()) {
Note:
See TracChangeset
for help on using the changeset viewer.