org.eclipse.wst.jsdt.ui.prefs

来自「java实现xml文档分词 提取出文章的主题」· PREFS 代码 · 共 14 行

#Wed Nov 26 22:09:59 CST 2008
useQuickDiffPrefPage=true
tabWidthPropagated=true
proposalOrderMigrated=true
useAnnotationsPrefPage=true
org.eclipse.jface.textfont=1|Courier New|10.0|0|WINDOWS|1|0|0|0|0|0|0|0|0|1|0|0|0|0|Courier New;
spelling_locale_initialized=true
org.eclipse.wst.jsdt.ui.javadoclocations.migrated=true
eclipse.preferences.version=1
org.eclipse.wst.jsdt.ui.editor.tab.width=
fontPropagated=true
org.eclipse.wst.jsdt.internal.ui.navigator.layout=1
org.eclipse.wst.jsdt.ui.formatterprofiles.version=11