Project: Eclipse_Platform_UI
Bug 80025 [Preferences] more preference search improvements
Reported: 2004-12-02 10:51:00 | Status: closed fixed

- removed search button - added incremental search while typing will attach patch based on HEAD.

Files changed in fix:
bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/dialogs/FilteredPreferenceDialog.java