Project: Eclipse_Platform_UI
Bug 217200 [Markers] MarkerPreferencePage not setting the dialog font
Reported: 2008-01-30 20:25:48 | Status: verified fixed

Window>Preferences>Markers Dialog font is not set for widgets within page.

Files changed in fix:
bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/FiltersConfigurationDialog.java bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkerPreferencesDialog.java