如何更改 Javahelp 字体?

发布于 2024-07-12 07:56:27 字数 278 浏览 6 评论 0原文

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 技术交流群。

扫码二维码加入Web技术交流群

发布评论

需要 登录 才能够评论, 你可以免费 注册 一个本站的账号。

评论(1

冷心人i 2024-07-19 07:56:28

样式表似乎在某些情况下有效。 可能只支持一个子集,技巧是找出是哪个子集。

Stylesheets seem to work ... in certain circumstances. Probably only a subset is supported, and the trick is to find out which one.

~没有更多了~
我们使用 Cookies 和其他技术来定制您的体验包括您的登录状态等。通过阅读我们的 隐私政策 了解更多相关信息。 单击 接受 或继续使用网站,即表示您同意使用 Cookies 和您的相关数据。
原文