我喜欢从小程序(JApplet:= Swing-Applet)外部,从周围/调用HTML代码调整字体大小,比如
<PARAM name="java_arguments" value="-D...">
我模糊地记得,有可能用
java -Dsome.font.property=xy proj.App
我猜有一个从 -D-switch 到 (J)Applet-params 的映射,但我没有找到概述。如果我没记错的话,有 10 或 20 种不同的字体设置选项,menufont、tooltipfont、普通字体、对话框字体,而且不容易猜到哪个影响什么。
由于重新编译类、构建新存档和重新加载页面比编辑 HTML 和重新加载它需要更多时间,因此我更喜欢在 HTML 中设置字体(等宽)和字体大小。