Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 328719

Summary: [preferences] Colors and Fonts page should have keyword "text font"
Product: [Eclipse Project] Platform Reporter: Markus Keller <markus.kell.r>
Component: UIAssignee: Dani Megert <daniel_megert>
Status: VERIFIED FIXED QA Contact:
Severity: trivial    
Priority: P3    
Version: 3.7   
Target Milestone: 3.7 M3   
Hardware: All   
OS: All   
Whiteboard:

Description Markus Keller CLA 2010-10-26 10:18:15 EDT
HEAD, follow-up to bug 325825

The Colors and Fonts preference page should be shown for the filter
"text font".

Bug 325825 comment 1 also suggested "text editor font", which IMO wouldn't hurt, but can also be left away.
Comment 1 Dani Megert CLA 2010-10-26 10:33:05 EDT
Fixed in
/org.eclipse.ui.ide/plugin.properties
/org.eclipse.ui.ide/plugin.xml
Comment 2 Dani Megert CLA 2010-10-28 02:34:32 EDT
Verified in I20101028-1800.