Community
Participate
Working Groups
Currently the JFace Fonts Registry (JFaceResources#getFontRegistry) loads the default fonts (FontRegistry#readResourceBundle -> jfacefonts.properties). We should take a look to use some better fonts for some cases (eg. Banner font) or even map the fonts directly to the theme.
Created attachment 139540 [details] screenshot Bannerfont looks odd
See also bug 290224 in case we want to use the system font.
The FontRegistry is now filled with fonts derived from the system font (which in turn is defined in the theme). This way, JFace fonts always fit the theme. The default JFace fonts can still be changed by overwriting the jfacefonts.properties file using a fragment. Changes are in CVS HEAD.