Project: Eclipse_Platform_UI
Bug 19485 [Themes] Should use color setting for fonts.
Reported: 2002-06-06 09:45:10 | Status: verified fixed

F2 1) Window>Preferences>Debug>Console>Text Font>Change (pick any) OK 2) Window>Preferences>Debug>Console>Text Font>font setting Change is not remembered

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