时间戳

首页 > 解决方案 > 在 Eclipse 中为 GWT 文本编辑器更改文本字体

eclipse - 在 Eclipse 中为 GWT 文本编辑器更改文本字体

问题描述

我正在使用带有 GWT Eclipse 插件的 Eclipse。我想使用与默认字体不同的字体（在本例中为 Fira Code）。在我的偏好中，在颜色和字体中，我将设置“文本字体”设置为使用 Fira 代码，它在普通 Java 文本编辑器中工作得非常好。但是，如果我打开 GWT 项目中的源文件，GWT Eclipse 插件使用自己的文本编辑器忽略自定义字体并使用 Eclipse 的默认值。

有没有办法强制 GWT 文本编辑器也使用该设置？

标签： eclipsegwtfonts

解决方案

虽然还没有官方修复，但 GitHub 用户 voytechs 在这里提供了一个解决方法：

除非您绝对需要对每个单独的 .java 文件类型使用 GWT Java 编辑器，因为它支持 JNSI 代码的语法，否则您可以更改为 .java 文件类型选择文本编辑器的顺序。

Preferences > General > Editors > File Associations > File Types > *.java > Associated editors：

  • 选择“Java 编辑器”
  • 单击“默认”按钮使其成为默认编辑器

您仍然可以使用 GWT Java 编辑器编辑带有 JNSI 注释代码的 java 文件：

  • 项目资源管理器 > 右键单击​​您的 .java" 文件 > 打开方式 > GWT Java 编辑器

常规的 java 编辑器可以轻松更改默认字体大小或即时调整字体大小。我在 Java 编辑器中使用 ctrl+ 和 ctrl- 键来调整字体大小。

推荐阅读