com.github.rustdt.ide.ui.prefs 1.8 KB

1234567891011121314151617181920212223242526
  1. eclipse.preferences.version=1
  2. editor.coloring2.attribute=255,255,255
  3. editor.coloring2.attribute\#dark\#=255,255,255
  4. editor.coloring2.character=255,198,0
  5. editor.coloring2.character\#dark\#=255,198,0
  6. editor.coloring2.comment=199,221,12
  7. editor.coloring2.comment\#dark\#=199,221,12
  8. editor.coloring2.default=216,216,216
  9. editor.coloring2.default\#dark\#=216,216,216
  10. editor.coloring2.doc_comment=204,223,50
  11. editor.coloring2.doc_comment\#dark\#=204,223,50
  12. editor.coloring2.keyword=141,203,226
  13. editor.coloring2.keyword\#dark\#=141,203,226
  14. editor.coloring2.keyword_boolean=141,203,226
  15. editor.coloring2.keyword_boolean\#dark\#=141,203,226
  16. editor.coloring2.keyword_self=210,82,82
  17. editor.coloring2.keyword_self\#dark\#=210,82,82
  18. editor.coloring2.lifetime=255,255,255
  19. editor.coloring2.lifetime\#dark\#=255,255,255
  20. editor.coloring2.macro_call=255,255,255
  21. editor.coloring2.macro_call\#dark\#=255,255,255
  22. editor.coloring2.number=127,179,71
  23. editor.coloring2.number\#dark\#=127,179,71
  24. editor.coloring2.string=255,198,0
  25. editor.coloring2.string\#dark\#=255,198,0
  26. overriddenByCSS=,editor.coloring2.number\#dark\#,editor.coloring2.string\#dark\#,editor.coloring2.keyword_self\#dark\#,editor.coloring2.default,editor.coloring2.lifetime\#dark\#,editor.coloring2.character\#dark\#,editor.coloring2.keyword_self,editor.coloring2.attribute,editor.coloring2.character,editor.coloring2.attribute\#dark\#,editor.coloring2.keyword,editor.coloring2.default\#dark\#,editor.coloring2.keyword\#dark\#,editor.coloring2.string,editor.coloring2.macro_call\#dark\#,editor.coloring2.macro_call,editor.coloring2.comment\#dark\#,editor.coloring2.doc_comment\#dark\#,editor.coloring2.comment,editor.coloring2.keyword_boolean,editor.coloring2.number,editor.coloring2.keyword_boolean\#dark\#,editor.coloring2.doc_comment,editor.coloring2.lifetime,