Changeset 19413 in josm

Timestamp:

2025-06-05T18:47:06+02:00 (8 days ago)

Author:

stoecker

Message:

see #24342 - add properties.filter.visible hidden setting

File:

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

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

@@ -824 +824 @@
         tagTable.setVisible(hasTags);
         tagTable.getTableHeader().setVisible(hasTags);
-        tagTableFilter.setVisible(hasTags);
+        boolean filterVisible = Config.getPref().getBoolean("properties.filter.visible", true);
+        tagTableFilter.setVisible(hasTags && filterVisible);
         selectSth.setVisible(!hasSelection);
         pluginHook.setVisible(hasSelection);