Changeset 12344 in josm for trunk/src/org


Ignore:
Timestamp:
2017-06-08T22:59:21+02:00 (7 years ago)
Author:
michael2402
Message:

Rename search options to search syntax

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/src/org/openstreetmap/josm/actions/search/SearchAction.java

    r12335 r12344  
    304304
    305305            JPanel searchOptions = new JPanel(new GridBagLayout());
    306             searchOptions.setBorder(BorderFactory.createTitledBorder(tr("Search Options")));
     306            searchOptions.setBorder(BorderFactory.createTitledBorder(tr("Search syntax")));
    307307            searchOptions.add(standardSearch, GBC.eol());
    308308            searchOptions.add(regexSearch, GBC.eol());
Note: See TracChangeset for help on using the changeset viewer.