org.eclipse.jdt.ui.prefs

来自「基于JAVA的学生就业信息网 实现对信息浏览 检索 审核 修改和删除」· PREFS 代码 · 共 14 行

#Mon Oct 16 17:14:15 CST 2006
useQuickDiffPrefPage=true
org.eclipse.jdt.ui.text.templates_migrated=true
tabWidthPropagated=true
org.eclipse.jdt.ui.text.code_templates_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.formatterprofiles.version=6
org.eclipse.jdt.ui.text.custom_templates=<?xml version\="1.0" encoding\="UTF-8"?><templates/>
Refactoring.ErrorPage.severityThreshold=2
eclipse.preferences.version=1
fontPropagated=true