2016-03-03 144 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

相關問題