Skip to main content
summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJulian Ruppel2021-04-26 13:33:47 +0000
committerMickael Istria2021-04-26 16:01:46 +0000
commit9daa731d8511d9c52a956aadceec2e2fbbde33d0 (patch)
treec90e5e0bcdfc8fb953b5fba9825d8acdc6b7315c
parentb69cdd5ca42f04ce587a0be08da2b269d45a3475 (diff)
downloadeclipse.platform.text-9daa731d8511d9c52a956aadceec2e2fbbde33d0.tar.gz
eclipse.platform.text-9daa731d8511d9c52a956aadceec2e2fbbde33d0.tar.xz
eclipse.platform.text-9daa731d8511d9c52a956aadceec2e2fbbde33d0.zip
Bug 567062 - [Quicksearch] Configurable max results limit and labelI20210428-0330I20210428-0040I20210427-1800I20210426-2110I20210426-1800
Addendum to previous commit 34b30bce9608a8fab1e06c12fe14e609c0ccb660 Adds explanation of the semantic of the new "max Results" field. Refactoring of the preference fields tooltips to more obvious info decorators. Change-Id: I99aa5568bd8e254055c8c1736ac46e07017f13de Signed-off-by: Julian Ruppel <julian.ruppel@sap.com> Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.text/+/179834 Tested-by: Platform Bot <platform-bot@eclipse.org> Reviewed-by: Mickael Istria <mistria@redhat.com>
-rw-r--r--org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/Messages.java1
-rw-r--r--org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/QuickSearchPreferencesPage.java48
-rw-r--r--org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/messages.properties9
3 files changed, 33 insertions, 25 deletions
diff --git a/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/Messages.java b/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/Messages.java
index 67f236d94f8..b1dc47b34f9 100644
--- a/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/Messages.java
+++ b/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/Messages.java
@@ -21,6 +21,7 @@ public class Messages extends NLS {
public static String QuickSearchPreferencesPage_Tooltip_Names;
public static String QuickSearchPreferencesPage_MaxLineLength;
public static String QuickSearchPreferencesPage_Tooltip_MaxLineLength;
+ public static String QuickSearchPreferencesPage_Tooltip_MaxResults;
public static String QuickSearchPreferencesPage_MaxResults;
public static String QuickSearchPreferencesPage_Ignored_Extensions;
public static String QuickSearchPreferencesPage_Ignored_Prefixes;
diff --git a/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/QuickSearchPreferencesPage.java b/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/QuickSearchPreferencesPage.java
index 04f51aec32e..3b4ca05a669 100644
--- a/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/QuickSearchPreferencesPage.java
+++ b/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/QuickSearchPreferencesPage.java
@@ -12,9 +12,12 @@
*******************************************************************************/
package org.eclipse.text.quicksearch.internal.ui;
+import org.eclipse.jface.fieldassist.ControlDecoration;
+import org.eclipse.jface.fieldassist.FieldDecorationRegistry;
import org.eclipse.jface.preference.FieldEditorPreferencePage;
import org.eclipse.jface.preference.IntegerFieldEditor;
import org.eclipse.jface.preference.StringFieldEditor;
+import org.eclipse.swt.SWT;
import org.eclipse.swt.layout.GridData;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Text;
@@ -34,41 +37,44 @@ public class QuickSearchPreferencesPage extends FieldEditorPreferencePage implem
public void init(IWorkbench workbench) {
}
- private static final String[] prefsKeys = {
- QuickSearchPreferences.IGNORED_EXTENSIONS,
- QuickSearchPreferences.IGNORED_PREFIXES,
- QuickSearchPreferences.IGNORED_NAMES
- };
+ private static final String[] prefsKeys = { QuickSearchPreferences.IGNORED_EXTENSIONS,
+ QuickSearchPreferences.IGNORED_PREFIXES, QuickSearchPreferences.IGNORED_NAMES };
- private static final String[] fieldLabels = {
- Messages.QuickSearchPreferencesPage_Ignored_Extensions, Messages.QuickSearchPreferencesPage_Ignored_Prefixes, Messages.QuickSearchPreferencesPage_Ignored_Names
- };
+ private static final String[] fieldLabels = { Messages.QuickSearchPreferencesPage_Ignored_Extensions,
+ Messages.QuickSearchPreferencesPage_Ignored_Prefixes, Messages.QuickSearchPreferencesPage_Ignored_Names };
- private static final String[] toolTips = {
- Messages.QuickSearchPreferencesPage_Tooltip_Extensions
- ,
- Messages.QuickSearchPreferencesPage_Tooltip_Prefixes
- ,
- Messages.QuickSearchPreferencesPage_Tooltip_Names
- };
+ private static final String[] toolTips = { Messages.QuickSearchPreferencesPage_Tooltip_Extensions,
+ Messages.QuickSearchPreferencesPage_Tooltip_Prefixes, Messages.QuickSearchPreferencesPage_Tooltip_Names };
@Override
protected void createFieldEditors() {
- IntegerFieldEditor fieldMaxLineLen = new IntegerFieldEditor(QuickSearchPreferences.MAX_LINE_LEN, Messages.QuickSearchPreferencesPage_MaxLineLength, getFieldEditorParent());
- fieldMaxLineLen.getTextControl(getFieldEditorParent()).setToolTipText(
- Messages.QuickSearchPreferencesPage_Tooltip_MaxLineLength);
+ IntegerFieldEditor fieldMaxLineLen = new IntegerFieldEditor(QuickSearchPreferences.MAX_LINE_LEN,
+ Messages.QuickSearchPreferencesPage_MaxLineLength, getFieldEditorParent());
addField(fieldMaxLineLen);
+ ControlDecoration maxLengthFieldDecoration = new ControlDecoration(fieldMaxLineLen.getTextControl(getFieldEditorParent()), SWT.LEFT | SWT.TOP);
+ maxLengthFieldDecoration.setDescriptionText(Messages.QuickSearchPreferencesPage_Tooltip_MaxLineLength);
+ maxLengthFieldDecoration.setImage(FieldDecorationRegistry.getDefault().getFieldDecoration(FieldDecorationRegistry.DEC_INFORMATION)
+ .getImage());
- IntegerFieldEditor fieldMaxResults = new IntegerFieldEditor(QuickSearchPreferences.MAX_RESULTS, Messages.QuickSearchPreferencesPage_MaxResults, getFieldEditorParent());
+ IntegerFieldEditor fieldMaxResults = new IntegerFieldEditor(QuickSearchPreferences.MAX_RESULTS,
+ Messages.QuickSearchPreferencesPage_MaxResults, getFieldEditorParent());
addField(fieldMaxResults);
+ ControlDecoration maxResultsFieldDecoration = new ControlDecoration(fieldMaxResults.getTextControl(getFieldEditorParent()), SWT.LEFT | SWT.TOP);
+ maxResultsFieldDecoration.setDescriptionText(Messages.QuickSearchPreferencesPage_Tooltip_MaxResults);
+ maxResultsFieldDecoration.setImage(FieldDecorationRegistry.getDefault().getFieldDecoration(FieldDecorationRegistry.DEC_INFORMATION)
+ .getImage());
for (int i = 0; i < fieldLabels.length; i++) {
final String tooltip = toolTips[i];
- StringFieldEditor field = new StringFieldEditor(prefsKeys[i], fieldLabels[i], StringFieldEditor.UNLIMITED, 5, StringFieldEditor.VALIDATE_ON_FOCUS_LOST, getFieldEditorParent()) {
+ StringFieldEditor field = new StringFieldEditor(prefsKeys[i], fieldLabels[i], StringFieldEditor.UNLIMITED,
+ 5, StringFieldEditor.VALIDATE_ON_FOCUS_LOST, getFieldEditorParent()) {
@Override
protected Text createTextWidget(Composite parent) {
Text w = super.createTextWidget(parent);
- w.setToolTipText(tooltip);
+ ControlDecoration fieldDecoration = new ControlDecoration(w, SWT.LEFT | SWT.TOP);
+ fieldDecoration.setDescriptionText(tooltip);
+ fieldDecoration.setImage(FieldDecorationRegistry.getDefault().getFieldDecoration(FieldDecorationRegistry.DEC_INFORMATION)
+ .getImage());
return w;
}
diff --git a/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/messages.properties b/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/messages.properties
index 8719f33e1b9..796a35790e4 100644
--- a/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/messages.properties
+++ b/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/messages.properties
@@ -1,8 +1,9 @@
-QuickSearchPreferencesPage_Tooltip_Extensions=Enter a list of file extensions. Elements in the list can be separated by commas or newlines. Any file or folder ending with one of the extensions will be ignored.
-QuickSearchPreferencesPage_Tooltip_Prefixes=Enter a list of file prefixes. Elements in the list can be separated by commas or newlines. Any file or folder who's name begins with one of the prefixes will be ignored.
-QuickSearchPreferencesPage_Tooltip_Names=Enter a list of file names. Elements in the list can be separated by commas or newlines. Any file or folder who's name equals one of the listed names will be ignored.
+QuickSearchPreferencesPage_Tooltip_Extensions=Enter a list of file extensions.\nElements in the list can be separated by commas or newlines. Any file or folder ending with one of the extensions will be ignored.
+QuickSearchPreferencesPage_Tooltip_Prefixes=Enter a list of file prefixes.\nElements in the list can be separated by commas or newlines. Any file or folder who's name begins with one of the prefixes will be ignored.
+QuickSearchPreferencesPage_Tooltip_Names=Enter a list of file names.\nElements in the list can be separated by commas or newlines. Any file or folder who's name equals one of the listed names will be ignored.
QuickSearchPreferencesPage_MaxLineLength=Max Line Length
-QuickSearchPreferencesPage_Tooltip_MaxLineLength=When QuickSearch encounters a line of text longer than 'Max Line Length' it stops searching the current file. This is meant to avoid searching in machine generated text files, such as minified JavaScript.
+QuickSearchPreferencesPage_Tooltip_MaxLineLength=When QuickSearch encounters a line of text longer than 'Max Line Length' it stops searching the current file.\nThis is meant to avoid searching in machine generated text files, such as minified JavaScript.
+QuickSearchPreferencesPage_Tooltip_MaxResults=If number of accumulated results reaches this limit the search will be suspended.\nNote that more results may still arrive beyond the limit since the searcher does suspend a search in the middle of a file.
QuickSearchPreferencesPage_MaxResults=Max Results
QuickSearchPreferencesPage_Ignored_Extensions=Ignored Extensions
QuickSearchPreferencesPage_Ignored_Prefixes=Ignored Prefixes

Back to the top