org.eclipse.jdt.ui.prefs

来自「《ajax编程技术与实例》的所有的案例」· PREFS 代码 · 共 12 行

#Mon Aug 28 15:17:23 CST 2006
useQuickDiffPrefPage=true
tabWidthPropagated=true
proposalOrderMigrated=true
org.eclipse.jdt.ui.javadoclocations.migrated=true
useAnnotationsPrefPage=true
org.eclipse.jface.textfont=1|Monospace|10|0|GTK|1|;
org.eclipse.jdt.ui.editor.tab.width=
org.eclipse.jdt.ui.formatterprofiles.version=10
eclipse.preferences.version=1
fontPropagated=true