Bug 162463 - [Themes] no way to override org.eclipse.jface.defaultfont
Summary: [Themes] no way to override org.eclipse.jface.defaultfont
Status: NEW
Alias: None
Product: Platform
Classification: Eclipse Project
Component: UI (show other bugs)
Version: 3.3   Edit
Hardware: All All
: P3 enhancement with 1 vote (vote)
Target Milestone: ---   Edit
Assignee: Platform UI Triaged CLA
QA Contact:
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2006-10-26 14:10 EDT by Kim Horne CLA
Modified: 2020-12-03 14:39 EST (History)
2 users (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Kim Horne CLA 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 CLA 2009-11-17 11:34:02 EST 
Susan is now responsible for watching the [Themes] category.
Comment 2 Eclipse Webmaster CLA 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 CLA 2020-12-03 14:39:14 EST 
Still a problem!