Changeset 12344 in josm

Timestamp:

2017-06-08T22:59:21+02:00 (7 years ago)

Author:

michael2402

Message:

Rename search options to search syntax

File:

• trunk/src/org/openstreetmap/josm/actions/search/SearchAction.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/actions/search/SearchAction.java

@@ -304 +304 @@
 
             JPanel searchOptions = new JPanel(new GridBagLayout());
-            searchOptions.setBorder(BorderFactory.createTitledBorder(tr("Search Options")));
+            searchOptions.setBorder(BorderFactory.createTitledBorder(tr("Search syntax")));
             searchOptions.add(standardSearch, GBC.eol());
             searchOptions.add(regexSearch, GBC.eol());