org.eclipse.jdt.ui.prefs
上传用户:sygbg6
上传日期:2020-12-29
资源大小:4884k
文件大小:1k
源码类别:

游戏

开发平台:

Java

  1. #Wed Oct 08 20:55:50 CST 2008
  2. useQuickDiffPrefPage=true
  3. proposalOrderMigrated=true
  4. tabWidthPropagated=true
  5. org.eclipse.jdt.ui.javadoclocations.migrated=true
  6. useAnnotationsPrefPage=true
  7. 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;
  8. org.eclipse.jdt.ui.editor.tab.width=
  9. org.eclipse.jdt.ui.formatterprofiles.version=11
  10. spelling_locale_initialized=true
  11. eclipse.preferences.version=1
  12. fontPropagated=true
  13. content_assist_disabled_computers=org.eclipse.jdt.ui.javaNoTypeProposalCategoryu0000org.eclipse.jdt.ui.spellingProposalCategoryu0000org.eclipse.jdt.ui.textProposalCategoryu0000org.eclipse.jdt.ui.templateProposalCategoryu0000org.eclipse.jdt.ui.javaTypeProposalCategoryu0000