Attachment 2036 Details for Bug 2763 – Patch for FileTypeEditor

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

[patch] Patch for FileTypeEditor

search.txt (text/plain), 1.04 KB, created by Tod Creasey

on 2002-09-23 10:20:31 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Tod Creasey

Created: 2002-09-23 10:20:31 EDT

Size: 1.04 KB

patch

obsolete

>Index: FileTypeEditor.java
>===================================================================
>RCS file: /home/eclipse/org.eclipse.search/search/org/eclipse/search/internal/ui/util/FileTypeEditor.java,v
>retrieving revision 1.10
>diff -u -r1.10 FileTypeEditor.java
>--- FileTypeEditor.java	4 Jul 2002 12:20:51 -0000	1.10
>+++ FileTypeEditor.java	23 Sep 2002 14:19:31 -0000
>@@ -20,6 +20,7 @@
> import org.eclipse.swt.widgets.Widget;
> 
> import org.eclipse.ui.IEditorRegistry;
>+import org.eclipse.ui.dialogs.TypeFilteringDialog;
> 
> import org.eclipse.search.internal.ui.SearchMessages;
> 
>@@ -80,7 +81,7 @@
> 		fTextField.setText(typesToString(types));
> 	}
> 	protected void handleBrowseButton() {
>-		TypeFilteringDialog dialog= new TypeFilteringDialog(fTextField.getShell(), getFileTypes());
>+		TypeFilteringDialog dialog= new TypeFilteringDialog(fTextField.getShell(), getFileTypes(),SearchMessages.getString("TypesFiltering.otherExtensions"));
> 		if (dialog.open() == dialog.OK) {
> 			setFileTypes(new HashSet(Arrays.asList(dialog.getResult())));
> 		}

Actions: View | Diff

Attachments on bug 2763: 2036