【问题标题】:Change Text Font In Eclipse For GWT Text Editors在 Eclipse 中为 GWT 文本编辑器更改文本字体
【发布时间】:2019-02-25 17:16:12
【问题描述】:

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

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

【问题讨论】:

    标签: eclipse gwt fonts


    【解决方案1】:

    虽然目前还没有官方修复,但 GitHub 用户 voytechs 提供了解决方法here:

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

    首选项 > 常规 > 编辑器 > 文件关联 > 文件类型 > *.java > 关联编辑器:

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

    您仍然可以使用 GWT Java 编辑器编辑包含 JNSI 注释代码的 java 文件:

    • Project Explorer > 右键单击​​您的 .java" 文件 > 打开方式 > GWT Java Editor

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

    【讨论】:

      猜你喜欢
      • 2011-06-22
      • 2014-06-09
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      • 1970-01-01
      相关资源
      最近更新 更多