Ignore:
Timestamp:
2005-10-01T04:01:45+02:00 (19 years ago)
Author:
imi
Message:
  • pretty preferrences menu
  • drawing double circles on double position hit
  • mergeNodes option
File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/org/openstreetmap/josm/data/osm/DataSet.java

    r2 r6  
    119119        }
    120120       
     121        @Override
    121122        public DataSet clone() {
    122123                try {return (DataSet)super.clone();} catch (CloneNotSupportedException e) {}
Note: See TracChangeset for help on using the changeset viewer.