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:	UI	Assignee:	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

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

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

2010-10-28 02:34:32 EDT

Verified in I20101028-1800.