eclipse字体问题

.metadata\.plugins\org.eclipse.core.runtime\.settings
下org.eclipse.ui.workbench.prefs文件中

org.eclipse.jdt.ui.editors.textfont=1|Courier New|9.75|0|WINDOWS|1|-18|0|0|0|400|0|0|0|-18|3|2|1|49|Courier New;

最新eclipse中相同字体但是字体大小却不同，将9.75变成10.8，两者可能标准不同。

若需要改字体大小，则可以改变该数值大小。