对于一个强迫症来说,eclipse每次启动字体都自己变成16号,设置的12号下次启动完全不管用,感觉整个世界都充满了恶意~
解决办法
第一步
修改eclipse工作空间下的三个文件,注意不是eclipse安装目录
.metadata\.plugins\org.eclipse.core.runtime\.settings\org.eclipse.jdt.ui.prefs
.metadata\.plugins\org.eclipse.core.runtime\.settings\org.eclipse.ui.workbench.prefs
.metadata\.plugins\org.eclipse.core.runtime\.settings\org.eclipse.wst.jsdt.ui.prefs
修改里边所有的textfont为相同值,如:
org.eclipse.jface.textfont=1|Consolas|12.0|0|WINDOWS|1|-16|0|0|0|400|0|0|0|0|3|2|1|49|Consolas;
第三个参量12.0就是字号
第二步
如果启动字号还需重新设置,eclipse菜单栏
Window>Preferences>General>Startup and Shutdown
对话框中Plug-ins activated on startup下
Oomph Setup UI
Oomph Dynamic Working Sets Editor
两个选项框中的对勾去掉,Save
重复步骤一