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

stoecker · stoecker · commit 18f7f9f71891 · 2025-06-05T16:47:06.000Z
git-svn-id: https://josm.openstreetmap.de/svn/trunk@19413 0c6e7542-c601-0410-84e7-c038aed88b3b
diff --git a/src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java b/src/org/openstreetmap/josm/gui/dialogs/properties/PropertiesDialog.java
@@ -823,7 +823,8 @@ private void updateTagTableVisibility(Collection<? extends IPrimitive> primitive
 
         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);
     }

Original file line number	Diff line number	Diff line change
`@@ -823,7 +823,8 @@ private void updateTagTableVisibility(Collection<? extends IPrimitive> primitive`
`823`	`823`
`824`	`824`	`tagTable.setVisible(hasTags);`
`825`	`825`	`tagTable.getTableHeader().setVisible(hasTags);`
`826`		`- tagTableFilter.setVisible(hasTags);`
	`826`	`+ boolean filterVisible = Config.getPref().getBoolean("properties.filter.visible", true);`
	`827`	`+ tagTableFilter.setVisible(hasTags && filterVisible);`
`827`	`828`	`selectSth.setVisible(!hasSelection);`
`828`	`829`	`pluginHook.setVisible(hasSelection);`
`829`	`830`	`}`