2016-03-03 156 views

回答

1

没有配置文件,您可以编辑,但更改后的值保存在这个文件在工作区:

.metadata\.plugins\org.eclipse.core.runtime\.settings\org.eclipse.ui.workbench.prefs 

您可以更改字体,你在Eclipse喜欢(我觉得有只是一个几个粗体和斜体),然后将该文件传输到其他工作区。

+0

实际上,涉及的文件是'org.eclipse.jdt.ui.prefs',而'org.eclipse.ui.workbench.prefs'包含字体。谢谢。 – Elena

相关问题