org.erlide.ui.prefs 1.3 KB

123456789101112131415161718192021222324
  1. //editor/colors/arrowcolor=216,216,216
  2. //editor/colors/arrowstyle=0
  3. //editor/colors/atomcolor=216,216,216
  4. //editor/colors/atomstyle=0
  5. //editor/colors/charcolor=255,198,0
  6. //editor/colors/charstyle=0
  7. //editor/colors/commentcolor=199,221,12
  8. //editor/colors/commentstyle=0
  9. //editor/colors/defaultcolor=216,216,216
  10. //editor/colors/defaultstyle=0
  11. //editor/colors/floatcolor=127,179,71
  12. //editor/colors/floatstyle=0
  13. //editor/colors/integercolor=127,179,71
  14. //editor/colors/integerstyle=0
  15. //editor/colors/keywordcolor=141,203,226
  16. //editor/colors/keywordstyle=0
  17. //editor/colors/macrocolor=239,192,144
  18. //editor/colors/macrostyle=0
  19. //editor/colors/stringcolor=255,198,0
  20. //editor/colors/stringstyle=0
  21. //editor/colors/variablecolor=121,171,255
  22. //editor/colors/variablestyle=0
  23. eclipse.preferences.version=1
  24. overriddenByCSS=,editor/colors/integercolor,editor/colors/floatcolor,editor/colors/keywordcolor,editor/colors/stringcolor,editor/colors/macrostyle,editor/colors/atomcolor,editor/colors/commentstyle,editor/colors/arrowstyle,editor/colors/arrowcolor,editor/colors/defaultcolor,editor/colors/keywordstyle,editor/colors/macrocolor,editor/colors/floatstyle,editor/colors/charcolor,editor/colors/stringstyle,editor/colors/integerstyle,editor/colors/charstyle,editor/colors/variablecolor,editor/colors/variablestyle,editor/colors/commentcolor,editor/colors/defaultstyle,editor/colors/atomstyle,