【发布时间】:2011-10-06 19:21:36
【问题描述】:
我喜欢从小程序 (JApplet := Swing-Applet) 外部调整字体大小,从周围/调用 HTML 代码,比如
<PARAM name="java_arguments" value="-D...">
我依稀记得,有可能用
调用经典的 Java 应用程序java -Dsome.font.property=xy proj.App
我猜有一个从 -D-switch 到 (J)Applet-params 的映射,但我没有找到概述。如果我没记错的话,有 10 或 20 种不同的字体设置选项,菜单字体、工具提示字体、普通字体、对话框字体,而且不容易猜到哪个影响什么。
由于与编辑 HTML 并重新加载相比,重新编译类、构建新存档和重新加载页面需要更多时间,因此我更愿意在 HTML 中设置字体(等宽)和字体大小。
【问题讨论】:
标签: java parameters font-size japplet