org.eclipse.jdt.ui.prefs

来自「本案例是一个JAVA APPLET实现页面响应鼠标事件的例子。实现了鼠标移入、移」· PREFS 代码 · 共 10 行

#Wed Apr 26 12:52:59 CST 2006
useAnnotationsPrefPage=true
org.eclipse.jdt.ui.formatterprofiles.version=6
org.eclipse.jface.textfont=1|Courier New|10|0|WINDOWS|1|0|0|0|0|0|0|0|0|1|0|0|0|0|Courier New;
eclipse.preferences.version=1
fontPropagated=true
Refactoring.ErrorPage.severityThreshold=2
useQuickDiffPrefPage=true
tabWidthPropagated=true