org.eclipse.jdt.ui.prefs

来自「商店管理系統 一個用java寫的管理系統」· PREFS 代码 · 共 14 行

#Tue Jun 24 19:11:15 CST 2008
useQuickDiffPrefPage=true
proposalOrderMigrated=true
tabWidthPropagated=true
org.eclipse.jdt.ui.javadoclocations.migrated=true
useAnnotationsPrefPage=true
spelling_locale=en_GB
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;
org.eclipse.jdt.ui.editor.tab.width=
org.eclipse.jdt.ui.formatterprofiles.version=11
spelling_locale_initialized=true
eclipse.preferences.version=1
fontPropagated=true