Bluej 菜單的字體如何更改

jedipi

請問 Bluej 菜單的字體如何更改。。。
我己經安裝五一美化包了，其它的字體也正常，包括xmms,
但 Bluej 的字體還是那麼丑。。要怎樣修改？？

Debentoo Gao

BlueJ是什么

fundawang

BlueJ是一个集成的Java开发环境吧。那么就需要设置Java的字体了。

jedipi

要在那里設？？
我在 bleuj/lib 里面找到 bluej.defs 這個文件
有一般是這樣的
[php]
# Theme fonts for User Interface components
# These specify font and font sizes for most of the interface components.
# This is the name of a font face with an optional "-bold" at the end.
# The theme fonts are only used if bluej.useTheme flag is true.
# Note: the use of theme flag and specification and non-standard fonts
# may affect bluej startup time (not confirmed for all systems)

# Use theme, which means interface and menu fonts can be specified.
bluej.useTheme=false

bluej.fontsize=12
bluej.font=SansSerif
#bluej.font=Monospaced
#bluej.font=SIMSUN

# fonts for menus
bluej.menu.font=SansSerif-bold
bluej.menu.fontsize=12
# END OF THEME FONTS[/php]

我將 bluej.useTheme=false 改為 bluej.useTheme=true
bluej.font=SansSerif 改為 bluej.font=Verdana

但好像沒有用....
還是一樣難看...

aries1998

bluej.menu.font=SansSerif-bold
bluej.menu.fontsize=12

是改menu.font吧！

另外不行的话，看看你的j2re或者jdk装在哪里, 然后修改这个目录下面的jre/lib/font.properties文件，看看就知道怎么改了！

jedipi

多謝aries1998，
最後改了 font.properties 里面的字體才搞定