- Timestamp:
- 2007-12-20T17:28:23+01:00 (17 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/MainMenu.java
r488 r497 168 168 public void actionPerformed(ActionEvent ev) { 169 169 Main.pref.put("draw.wireframe", wireframe.isSelected()); 170 Main.map.mapView.repaint(); 170 if (Main.map != null) { 171 Main.map.mapView.repaint(); 172 } 171 173 } 172 174 });
Note:
See TracChangeset
for help on using the changeset viewer.