如何在 JBossTools 中减小工具提示字体大小

【问题标题】：How to reduce a tooltip font size in JBossTools如何在 JBossTools 中减小工具提示字体大小
【发布时间】：2015-06-08 16:37:39
【问题描述】：

如何减小 JBossTools 中的工具提示字体大小，因为它太大了，而我更喜欢小一点？这些选项在设置中的什么位置？

【问题讨论】：

【解决方案1】：

转到 Window -> Preferences，然后在 General -> Appearance -> Colors and Fonts 下，然后在 Java 下可以找到“Javadoc display font”。

提示：使用过滤器（图片上标记为红色）在首选项中查找某些内容 - 它们非常有用。

【讨论】：