Changeset 9827 in josm for trunk/src/org
- Timestamp:
- 2016-02-18T23:22:37+01:00 (9 years ago)
- Location:
- trunk/src/org/openstreetmap/josm
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/data/Preferences.java
r9823 r9827 60 60 import org.openstreetmap.josm.data.preferences.PreferencesWriter; 61 61 import org.openstreetmap.josm.data.preferences.Setting; 62 import org.openstreetmap.josm.data.preferences.SettingVisitor;63 62 import org.openstreetmap.josm.data.preferences.StringSetting; 64 63 import org.openstreetmap.josm.io.OfflineAccessException; 65 64 import org.openstreetmap.josm.io.OnlineResource; 66 import org.openstreetmap.josm.io.XmlWriter;67 65 import org.openstreetmap.josm.tools.CheckParameterUtil; 68 66 import org.openstreetmap.josm.tools.ColorHelper; -
trunk/src/org/openstreetmap/josm/data/preferences/PreferencesReader.java
r9823 r9827 117 117 return version; 118 118 } 119 120 119 121 120 public void parse() throws XMLStreamException, IOException { -
trunk/src/org/openstreetmap/josm/tools/ImageProvider.java
r9705 r9827 177 177 * Returns the image size in pixels 178 178 * @return the image size in pixels 179 * @since 9705 179 180 */ 180 181 public int getImageSize() { … … 185 186 * Returns the image size as dimension 186 187 * @return the image size as dimension 188 * @since 9705 187 189 */ 188 190 public Dimension getImageDimension() {
Note:
See TracChangeset
for help on using the changeset viewer.