Changeset 3669 in josm for trunk/src/org/openstreetmap/josm/Main.java
- Timestamp:
- 2010-11-25T00:07:52+01:00 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/Main.java
r3542 r3669 52 52 import org.openstreetmap.josm.data.osm.PrimitiveDeepCopy; 53 53 import org.openstreetmap.josm.data.projection.Projection; 54 import org.openstreetmap.josm.data.validation.OsmValidator; 54 55 import org.openstreetmap.josm.gui.GettingStarted; 55 56 import org.openstreetmap.josm.gui.MainMenu; 56 57 import org.openstreetmap.josm.gui.MapFrame; 58 import org.openstreetmap.josm.gui.MapView; 57 59 import org.openstreetmap.josm.gui.dialogs.LayerListDialog; 58 60 import org.openstreetmap.josm.gui.io.SaveLayersDialog; … … 136 138 public final MainMenu menu; 137 139 140 public final OsmValidator validator; 138 141 /** 139 142 * The MOTD Layer. 140 143 */ 141 private GettingStarted gettingStarted =new GettingStarted();144 private GettingStarted gettingStarted = new GettingStarted(); 142 145 143 146 /** … … 217 220 TaggingPresetPreference.initialize(); 218 221 MapPaintPreference.initialize(); 222 223 validator = new OsmValidator(); 224 MapView.addLayerChangeListener(validator); 219 225 220 226 toolbar.refreshToolbarControl(); … … 387 393 if (args.containsKey("geometry")) { 388 394 geometry = args.get("geometry").iterator().next(); 389 // Main.debug("Main window geometry from args: \""+geometry+"\"");390 395 } else { 391 396 geometry = Main.pref.get("gui.geometry"); 392 // Main.debug("Main window geometry from preferences: \""+geometry+"\"");393 397 } 394 398 if (geometry.length() != 0) {
Note:
See TracChangeset
for help on using the changeset viewer.