Project: Eclipse_Platform_UI
Bug 93258 [Preference] new bolding of pages in filtered preference tree uses wrong font
Reported: 2005-04-29 09:08:22 | Status: verified fixed

The bolding in the preference tree leaves does not honour dialog font but the rest of the tree does. Screencap forthcoming.

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