ASCII character size in 12 point and 10 point using SansSerif are displayed same size on RedHat-Linux6.1J and RedHat-Linux6.1J-update.
SansSerif-12point is default font in java, So Font size in java application is changed, too.

Character size in 10 point with SansSerif is displayed correctly.
Character size in 12 point need to be displayed bigger than 10 point.
However, Using palin,bold,italic 12 point size is displayed same as 10point
Only Bold-italic is displayed in 12point.


Test version is:
java version "1.3.0rc1"
Java(TM) 2 Runtime Environment, Standard Edition (build 1.3.0rc1-b14)
Java HotSpot(TM) Client VM (build 1.3.0rc1-b14, mixed mode)

Reproduce to:
1, Compile attached program "StyledFont.java".
2, Launch program "java StyledFont &"
3, Font size change 12 to 10 in StyleFont.java
 line 15 "static final int fontp = 12;" --> "static final int fontp = 10;"
4, Compile and launch.
5, You can see this phenomenon.


Test program above is set font-style "SansSerif" and font-size "12".
Test program "StyledFontDefault.java" is not setting font-style and font-size,
Please compile "StyledFontDefault.java", character display default font and size of java.

shinkichi.yamazaki@japan 2000-08-10