============================================================
|
old
|
new
|
|
| 52 | 52 | private final SearchSetting searchSettings; |
| 53 | 53 | |
| 54 | 54 | private final HistoryComboBox hcbSearchString = new HistoryComboBox(); |
| 55 | | private final JCheckBox addOnToolbar = new JCheckBox(tr("add toolbar button"), false); |
| | 55 | private final JCheckBox addOnToolbar; |
| 56 | 56 | |
| 57 | 57 | private JCheckBox caseSensitive; |
| 58 | 58 | private JCheckBox allElements; |
| … |
… |
|
| 111 | 111 | caseSensitive = new JCheckBox(tr("case sensitive"), searchSettings.caseSensitive); |
| 112 | 112 | allElements = new JCheckBox(tr("all objects"), searchSettings.allElements); |
| 113 | 113 | allElements.setToolTipText(tr("Also include incomplete and deleted objects in search.")); |
| | 114 | addOnToolbar = new JCheckBox(tr("add toolbar button"), false); |
| | 115 | addOnToolbar.setToolTipText(tr("Add a button with this search expression to the toolbar.")); |
| 114 | 116 | |
| 115 | 117 | standardSearch = new JRadioButton(tr("standard"), !searchSettings.regexSearch && !searchSettings.mapCSSSearch); |
| 116 | 118 | regexSearch = new JRadioButton(tr("regular expression"), searchSettings.regexSearch); |