Changeset 15670 in josm

Timestamp:

2020-01-10T00:07:18+01:00 (4 years ago)

Author:

simon04

Message:

Javadoc

File:

• trunk/src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java

@@ -445 +445 @@
     }
 
+    /**
+     * Sets a filter to restrict the displayed properties.
+     * @param filter the filter
+     * @since 8980
+     */
     public void setFilter(final SearchCompiler.Match filter) {
         this.tagRowSorter.setRowFilter(new SearchBasedRowFilter(filter));