Project: Eclipse_Platform_UI
Bug 94636 [Preferences] Preference filter text filed not in dialog font
Reported: 2005-05-11 05:36:19 | Status: verified fixed

I20050509-2010 The filter text field for the preference pages does not honor the dialog font setting.

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