diff options
Diffstat (limited to 'org.eclipse.search/search/org/eclipse/search/internal/ui/text/ReplaceConfigurationPage.java')
-rw-r--r-- | org.eclipse.search/search/org/eclipse/search/internal/ui/text/ReplaceConfigurationPage.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.search/search/org/eclipse/search/internal/ui/text/ReplaceConfigurationPage.java b/org.eclipse.search/search/org/eclipse/search/internal/ui/text/ReplaceConfigurationPage.java index 838c4a6828e..ee0710c580a 100644 --- a/org.eclipse.search/search/org/eclipse/search/internal/ui/text/ReplaceConfigurationPage.java +++ b/org.eclipse.search/search/org/eclipse/search/internal/ui/text/ReplaceConfigurationPage.java @@ -196,7 +196,7 @@ public class ReplaceConfigurationPage extends UserInputWizardPage { private void storeSettings() { String[] items= fTextField.getItems(); - ArrayList history= new ArrayList(); + ArrayList<String> history= new ArrayList<>(); history.add(fTextField.getText()); int historySize= Math.min(items.length, 6); for (int i= 0; i < historySize; i++) { @@ -206,7 +206,7 @@ public class ReplaceConfigurationPage extends UserInputWizardPage { } } IDialogSettings settings= SearchPlugin.getDefault().getDialogSettings().addNewSection(SETTINGS_GROUP); - settings.put(SETTINGS_REPLACE_WITH, (String[]) history.toArray(new String[history.size()])); + settings.put(SETTINGS_REPLACE_WITH, history.toArray(new String[history.size()])); } |