diff options
author | Björn Michael | 2016-09-25 10:13:02 +0000 |
---|---|---|
committer | Dani Megert | 2016-11-28 16:18:35 +0000 |
commit | 6ac9ef9309a19dca183c39b074ec5f5f92357460 (patch) | |
tree | dbcf69d3b42da1962e90c6d45f46c29f21054da1 | |
parent | 99ff7fff218eaa5622857061285c3dcb0337730a (diff) | |
download | eclipse.platform.text-6ac9ef9309a19dca183c39b074ec5f5f92357460.tar.gz eclipse.platform.text-6ac9ef9309a19dca183c39b074ec5f5f92357460.tar.xz eclipse.platform.text-6ac9ef9309a19dca183c39b074ec5f5f92357460.zip |
Bug 72151 [find/replace] combobox needs to remember more itemsI20161129-2330I20161129-2000I20161128-2000
Change-Id: I1695e76658d4026050a53ab0bd3ed988dd6f3ef4
Signed-off-by: Björn Michael <b.michael@gmx.de>
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/FindReplaceDialog.java | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/FindReplaceDialog.java b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/FindReplaceDialog.java index 357fc551dda..f8cdc2d1f1f 100644 --- a/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/FindReplaceDialog.java +++ b/org.eclipse.ui.workbench.texteditor/src/org/eclipse/ui/texteditor/FindReplaceDialog.java @@ -154,7 +154,7 @@ class FindReplaceDialog extends Dialog { } /** The size of the dialogs search history. */ - private static final int HISTORY_SIZE= 5; + private static final int HISTORY_SIZE= 15; private Point fIncrementalBaseLocation; private boolean fWrapInit, fCaseInit, fWholeWordInit, fForwardInit, fGlobalInit, fIncrementalInit; @@ -240,8 +240,8 @@ class FindReplaceDialog extends Dialog { fTarget= null; fDialogPositionInit= null; - fFindHistory= new ArrayList<>(HISTORY_SIZE - 1); - fReplaceHistory= new ArrayList<>(HISTORY_SIZE - 1); + fFindHistory= new ArrayList<>(HISTORY_SIZE); + fReplaceHistory= new ArrayList<>(HISTORY_SIZE); fWrapInit= false; fCaseInit= false; @@ -1884,8 +1884,8 @@ class FindReplaceDialog extends Dialog { } } - while (history.size() > 8) - history.remove(8); + while (history.size() > HISTORY_SIZE) + history.remove(HISTORY_SIZE); String[] names= new String[history.size()]; history.toArray(names); |