如何更改 Javahelp 字体?
Javahelp 是基于 Java 的帮助系统,可以轻松集成到 Java 应用程序中。 该文档没有提供任何有关它的信息。 在网络上,许多人表示这是不可能的,帮助浏览器始终使用内置字体。 我不相信这是不可能的。
IntelliJ IDE 的帮助系统基于 javahelp 并使用另一种字体。 所以我认为这一定是可能的。 真的有人这样做过吗?
为了完整性:
- 在帮助中包含标签 文件没有帮助。
- 样式表可以 不行。
Javahelp is the Java based help system that can easily be integrated in a Java application. The documentation does not give any information about it. On the web, many people state that it is not possible, that the help browser always uses a built-in font. I am not convinced that it is not possible.
The help system of the IntelliJ IDE is based on javahelp and uses another font. So I think it must be possible. Is there someone who actually did this?
For completeness:
- Including tags in the help
files does not help. - Stylesheets do
not work.
如果你对这篇内容有疑问,欢迎到本站社区发帖提问 参与讨论,获取更多帮助,或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱,如果其他用户或者作者回复了您的评论,将不能在第一时间通知您!
发布评论
评论(1)
样式表似乎在某些情况下有效。 可能只支持一个子集,技巧是找出是哪个子集。
Stylesheets seem to work ... in certain circumstances. Probably only a subset is supported, and the trick is to find out which one.