org.eclipse.jdt.ui.prefs

这是一个用java和xml编写的流媒体服务器管理软件

#Thu Mar 09 23:54:37 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.javadoclocations.migrated=true
org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8"?>\r\n<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.formatterprofiles.version=8
org.eclipse.jdt.ui.text.custom_templates=<?xml version\="1.0" encoding\="UTF-8"?>\r\n<templates/>
matchingBrackets=false
eclipse.preferences.version=1
fontPropagated=true