Warning: file_get_contents(/data/phpspider/zhask/data//catemap/6/eclipse/8.json): failed to open stream: No such file or directory in /data/phpspider/zhask/libs/function.php on line 167

Warning: Invalid argument supplied for foreach() in /data/phpspider/zhask/libs/tag.function.php on line 1116

Notice: Undefined index: in /data/phpspider/zhask/libs/function.php on line 180

Warning: array_chunk() expects parameter 1 to be array, null given in /data/phpspider/zhask/libs/function.php on line 181
Eclipse 如何减少JBossTools中的工具提示字体大小_Eclipse_Jboss Tools - Fatal编程技术网
Fatal编程技术网
  • eclipse/
  • Eclipse 如何减少JBossTools中的工具提示字体大小

Eclipse 如何减少JBossTools中的工具提示字体大小

eclipse

Eclipse 如何减少JBossTools中的工具提示字体大小,eclipse,jboss-tools,Eclipse,Jboss Tools,如何减少JBossTools中的工具提示字体大小，因为它太大，而我更喜欢较小的字体？设置中的这些选项在哪里 进入窗口->首选项，然后在常规->外观->颜色和字体下，然后在Java下，您可以找到“Javadoc显示字体” 提示：使用过滤器（图片上标记为红色）在首选项中查找某些内容-它们非常有用

如何减少JBossTools中的工具提示字体大小，因为它太大，而我更喜欢较小的字体？设置中的这些选项在哪里

进入窗口->首选项，然后在常规->外观->颜色和字体下，然后在Java下，您可以找到“Javadoc显示字体”

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