Bug 162463

Summary:	[Themes] no way to override org.eclipse.jface.defaultfont
Product:	[Eclipse Project] Platform	Reporter:	Kim Horne <eclipse>
Component:	UI	Assignee:	Platform UI Triaged <platform-ui-triaged>
Status:	NEW ---	QA Contact:
Severity:	enhancement
Priority:	P3	CC:	andreaslmmr, rolarenfan
Version:	3.3
Target Milestone:	---
Hardware:	All
OS:	All
Whiteboard:

Description Kim Horne

2006-10-26 14:10:56 EDT

3.2

There is currently no way to override this font.  This is almost certainly due to the fact that there is no corresponding <fontDefinition> element.

Comment 1 Boris Bokowski

2009-11-17 11:34:02 EST

Susan is now responsible for watching the [Themes] category.

Comment 2 Eclipse Webmaster

2019-09-06 16:11:08 EDT

This bug hasn't had any activity in quite some time. Maybe the problem got resolved, was a duplicate of something else, or became less pressing for some reason - or maybe it's still relevant but just hasn't been looked at yet.

If you have further information on the current state of the bug, please add it. The information can be, for example, that the problem still occurs, that you still want the feature, that more information is needed, or that the bug is (for whatever reason) no longer relevant.

Comment 3 Andreas Lemmer

2020-12-03 14:39:14 EST

Still a problem!