/plugins/EditorScheme/tags/1.3/schemes/Active.jedit-scheme

# · Unknown · 78 lines · 78 code · 0 blank · 0 comment · 0 complexity · ed8730d536a17a8b6290404892c59b77 MD5 · raw file

  1. #jEdit Editor Scheme
  2. #:mode=properties:lineSeparator=\n:
  3. #Thu Nov 06 18:41:17 EST 2003
  4. view.gutter.highlightColor=\#000099
  5. jdiff.deleted-color=\#ff6666
  6. view.gutter.foldColor=\#8eb58e
  7. jdiff.overview-deleted-color=\#ff6666
  8. white-space.fold-color=\#cccccc
  9. view.gutter.noFocusBorderColor=\#ffffff
  10. view.gutter.structureHighlightColor=\#000066
  11. view.bgColor=\#ffffff
  12. view.gutter.focusBorderColor=\#0099cc
  13. view.status.memory.foreground=\#cccccc
  14. error-list.warningColor=\#ffa800
  15. jdiff.invalid-color=\#cccccc
  16. view.gutter.registerColor=\#ffffcc
  17. jdiff.selected-highlight-changed-color=\#ffcc66
  18. jdiff.overview-invalid-color=\#cccccc
  19. view.style.markup=color\:\#0099cc
  20. view.style.invalid=color\:\#ff6600 bgColor\:\#ffffcc style\:b
  21. white-space.space-color=\#bcbcbc
  22. jdiff.selected-highlight-inserted-color=\#99cc66
  23. jdiff.highlight-changed-color=\#ffff90
  24. view.gutter.bgColor=\#fefffb
  25. jdiff.inserted-color=\#99cc66
  26. console.fontstyle=0
  27. console.warningColor=\#ffa800
  28. view.caretColor=\#000000
  29. console.plainColor=\#000000
  30. view.gutter.currentLineColor=\#ff0000
  31. view.style.digit=color\:\#993300
  32. white-space.whitespace-color=\#ff6600
  33. view.lineHighlightColor=\#e5f9ff
  34. view.status.memory.background=\#666699a
  35. view.structureHighlightColor=\#000000
  36. view.style.foldLine.3=color\:\#000000 bgColor\:\#b0ecc4 style\:b
  37. view.style.literal4=color\:\#6600cc
  38. view.style.foldLine.2=color\:\#000000 bgColor\:\#ffffcc style\:b
  39. view.style.literal3=color\:\#9900cc
  40. view.style.foldLine.1=color\:\#000000 bgColor\:\#d5d5f7 style\:b
  41. jdiff.overview-inserted-color=\#99cc66
  42. view.style.foldLine.0=color\:\#000000 bgColor\:\#f5deb8 style\:b
  43. view.style.literal2=color\:\#522c2c
  44. view.eolMarkerColor=\#ff6600
  45. view.style.literal1=color\:\#990099
  46. view.fgColor=\#000000
  47. console.bgColor=\#ffffff
  48. tasklist.highlight.color=\#929292
  49. view.style.comment4=color\:\#cc6600
  50. view.style.label=color\:\#990033 style\:ib
  51. view.style.comment3=color\:\#6600cc
  52. view.style.comment2=color\:\#0099cc style\:i
  53. view.style.comment1=color\:\#009933 style\:i
  54. jdiff.changed-color=\#ffcc66
  55. view.wrapGuideColor=\#8080ff
  56. jdiff.selected-highlight-deleted-color=\#ff6666
  57. jdiff.highlight-deleted-color=\#ff9090
  58. view.gutter.fgColor=\#666666
  59. white-space.tab-color=\#bcbcbc
  60. console.infoColor=\#009600
  61. jdiff.overview-changed-color=\#ffcc66
  62. error-list.errorColor=\#ff0000
  63. console.errorColor=\#ff0000
  64. view.gutter.markerColor=\#deedfd
  65. jdiff.highlight-inserted-color=\#d9ff90
  66. view.style.keyword4=color\:\#66ccff style\:b
  67. view.style.keyword3=color\:\#660066 style\:b
  68. view.style.keyword2=color\:\#006699 style\:b
  69. view.style.keyword1=color\:\#cc3300 style\:b
  70. console.font=monospaced
  71. scheme.name=Active
  72. white-space.block-color=\#000000
  73. console.fontsize=12
  74. view.selectionColor=\#ccccff
  75. view.style.function=color\:\#996600
  76. view.style.operator=color\:\#003399 style\:b
  77. view.status.background=\#ffffff
  78. view.status.foreground=\#000000