Java 如何以编程方式更改Eclipse编辑器的字体（大小）？

如何以编程方式更改Eclipse编辑器的字体/字体大小

我（在编辑中）发现了这一点：

---

但我不确定这是否是一条路。此外，我仍然无法为编辑器设置字体大小。

您可以使用'symbolicFont name'属性指定要在编辑器的

org.eclipse.ui.editors

扩展点声明中使用的'symbolicFont name'

例如，这是Java编辑器：

它定义了用作

org.eclipse.jdt.ui.editors.textfont

的符号字体名称

符号字体名称是对

org.eclipse.ui.themes

扩展点中字体定义的引用

例如，

org.eclipse.jdt.ui.editors.textfont

被定义为：

%JavaEditorFontDefinition.description

此定义将字体设置为默认与标准文本字体相同

---

以这种方式定义的字体将出现在Eclipse首选项中的“常规>外观>颜色和字体”

您可以使用“SymbolicFont name”属性指定要在编辑器的

org.Eclipse.ui.editors

扩展点声明中使用的“SymbolicFont name”

例如，这是Java编辑器：

它定义了用作

org.eclipse.jdt.ui.editors.textfont

的符号字体名称

符号字体名称是对

org.eclipse.ui.themes

扩展点中字体定义的引用

例如，

org.eclipse.jdt.ui.editors.textfont

被定义为：

%JavaEditorFontDefinition.description

此定义将字体设置为默认与标准文本字体相同

---

以这种方式定义的字体将出现在Eclipse首选项中的“常规>外观>颜色和字体”

中，因此无法在运行时应用这些更改？编辑器正在侦听此首选项属性的更改，如果更改，将刷新。我没有看到允许更改字体的非内部API。因此无法在运行时应用这些更改？编辑器正在侦听此首选项属性的更改，如果更改，将刷新。我没有看到允许更改字体的非内部API。

this.getSourceViewerDecorationSupport(getSourceViewer()).setSymbolicFontName(name);