Changeset 12433 in josm for trunk/src/org/openstreetmap
- Timestamp:
- 2017-06-25T16:42:41+02:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/src/org/openstreetmap/josm/gui/autofilter/AutoFilterManager.java
r12432 r12433 132 132 } 133 133 134 private void addNewButtons(NavigableSet<String> values) {134 private synchronized void addNewButtons(NavigableSet<String> values) { 135 135 int i = 0; 136 136 int maxWidth = 16; … … 263 263 } 264 264 265 private void updateFiltersFull() {265 private synchronized void updateFiltersFull() { 266 266 if (currentAutoFilter != null) { 267 267 model.executeFilters(); … … 269 269 } 270 270 271 private void updateFiltersEvent(AbstractDatasetChangedEvent event, boolean affectedOnly) {271 private synchronized void updateFiltersEvent(AbstractDatasetChangedEvent event, boolean affectedOnly) { 272 272 if (currentAutoFilter != null) { 273 273 Collection<? extends OsmPrimitive> prims = event.getPrimitives(); … … 363 363 * @param g The graphics to draw that text on. 364 364 */ 365 public void drawOSDText(Graphics2D g) {365 public synchronized void drawOSDText(Graphics2D g) { 366 366 model.drawOSDText(g, lblOSD, 367 367 tr("<h2>Filter active: {0}</h2>", currentAutoFilter.getFilter().text),
Note:
See TracChangeset
for help on using the changeset viewer.