org.eclipse.jdt.ui.prefs

java程序设计教程的源码

#Tue Aug 26 00:13:28 CST 2008
useQuickDiffPrefPage=true
org.eclipse.jdt.ui.text.templates_migrated=true
proposalOrderMigrated=true
tabWidthPropagated=true
org.eclipse.jdt.ui.text.code_templates_migrated=true
org.eclipse.jdt.ui.javadoclocations.migrated=true
org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8"?><templates/>
useAnnotationsPrefPage=true
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;
org.eclipse.jdt.ui.editor.tab.width=
org.eclipse.jdt.ui.wizards.srcBinFoldersInNewProjects=true
org.eclipse.jdt.ui.formatterprofiles.version=10
org.eclipse.jdt.ui.text.custom_templates=<?xml version\="1.0" encoding\="UTF-8"?><templates/>
eclipse.preferences.version=1
internal.default.compliance=default
fontPropagated=true