Changeset 15817 in josm for trunk/src/org/openstreetmap/josm/gui/autofilter/AutoFilterManager.java
- Timestamp:
- 2020-02-05T22:09:38+01:00 (4 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/autofilter/AutoFilterManager.java
r15764 r15817 149 149 // Make sure current auto filter button remains visible even if no data is found, to allow user to disable it 150 150 if (currentAutoFilter != null) { 151 values.add(currentAutoFilter.getFilter(). text.split("=")[1]);151 values.add(currentAutoFilter.getFilter().value); 152 152 } 153 153 if (!values.equals(buttons.keySet())) { … … 186 186 MapView mapView = MainApplication.getMap().mapView; 187 187 for (final String value : values.descendingSet()) { 188 Filter filter = new CompiledFilter(enabledRule.getKey(), value);188 CompiledFilter filter = new CompiledFilter(enabledRule.getKey(), value); 189 189 String label = enabledRule.getValueFormatter().apply(value); 190 190 AutoFilter autoFilter = new AutoFilter(label, filter.text, filter);
Note:
See TracChangeset
for help on using the changeset viewer.