org.eclipse.pde.ui.prefs 1.1 KB

1234567891011121314151617181920
  1. eclipse.preferences.version=1
  2. editor.color.default=216,216,216
  3. editor.color.externalized_string=255,198,0
  4. editor.color.externalized_string_italic=true
  5. editor.color.header_assignment=216,216,216
  6. editor.color.header_assignment_bold=true
  7. editor.color.header_attributes=121,171,255
  8. editor.color.header_key=141,203,226
  9. editor.color.header_key_bold=true
  10. editor.color.header_osgi=141,203,226
  11. editor.color.header_value=255,198,0
  12. editor.color.header_value_italic=true
  13. editor.color.instr=255,255,255
  14. editor.color.instr_bold=true
  15. editor.color.string=255,198,0
  16. editor.color.string_italic=true
  17. editor.color.tag=121,171,255
  18. editor.color.tag_bold=true
  19. editor.color.xml_comment=199,221,12
  20. overriddenByCSS=,editor.color.default,editor.color.externalized_string,editor.color.externalized_string_italic,editor.color.header_assignment,editor.color.header_assignment_bold,editor.color.header_attributes,editor.color.header_key,editor.color.header_key_bold,editor.color.header_osgi,editor.color.header_value,editor.color.header_value_italic,editor.color.instr,editor.color.instr_bold,editor.color.string,editor.color.string_italic,editor.color.tag,editor.color.tag_bold,editor.color.xml_comment,