Changeset 6142 in josm for trunk/src/org/openstreetmap/josm/gui/preferences/advanced/PreferencesTable.java
- Timestamp:
- 2013-08-11T21:23:19+02:00 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/preferences/advanced/PreferencesTable.java
r6022 r6142 117 117 List<List<String>> data = llEditor.getData(); 118 118 @SuppressWarnings("unchecked") 119 Collection<Collection<String>> stgValue = (Collection) stg.getValue(); 119 Collection<Collection<String>> stgValue = (Collection<Collection<String>>) stg.getValue(); 120 120 if (!Preferences.equalArray(stgValue, data)) { 121 121 e.setValue(new Preferences.ListListSetting(data));
Note:
See TracChangeset
for help on using the changeset viewer.
