#jEdit Editor Scheme #:mode=properties:lineSeparator=\n: # Scott Hurring - scott at hurring dot com # http://hurring.com/software/jedit/ view.gutter.highlightColor=\#666699 jdiff.deleted-color=\#ff6666 view.gutter.foldColor=\#000000 jdiff.overview-deleted-color=\#ff6666 white-space.fold-color=\#cccccc view.status.foreground=\#000000 view.gutter.noFocusBorderColor=\#e6e6e6 view.gutter.structureHighlightColor=\#666699 view.bgColor=\#f0f0f0 view.gutter.focusBorderColor=\#000000 view.status.memory.foreground=\#cccccc error-list.warningColor=\#ffa800 jdiff.invalid-color=\#cccccc jdiff.selected-highlight-changed-color=\#ffcc66 jdiff.overview-invalid-color=\#cccccc view.style.markup=color\:\#666600 white-space.space-color=\#cccccc view.style.invalid=color\:\#ff0066 bgColor\:\#ffffcc jdiff.selected-highlight-inserted-color=\#99cc66 jdiff.highlight-changed-color=\#ffff90 view.gutter.bgColor=\#e6e6e6 jdiff.inserted-color=\#99cc66 console.fontstyle=0 console.warningColor=\#ffa800 view.caretColor=\#ff0000 console.plainColor=\#000000 view.status.background=\#ffffff view.gutter.currentLineColor=\#000000 white-space.whitespace-color=\#ff6600 view.style.digit=color\:\#000000 style\:i view.lineHighlightColor=\#ccccff view.status.memory.background=\#66699a view.style.foldLine.3=color\:\#009999 bgColor\:\#f0f0f0 style\:b view.style.foldLine.2=color\:\#009999 bgColor\:\#f0f0f0 style\:b view.style.literal4=color\:\#6600cc view.style.foldLine.1=color\:\#009999 bgColor\:\#f0f0f0 style\:b jdiff.overview-inserted-color=\#99cc66 view.style.literal3=color\:\#9900cc view.style.foldLine.0=color\:\#009999 bgColor\:\#f0f0f0 style\:b view.style.literal2=color\:\#666666 style\:i view.eolMarkerColor=\#ff6633 view.style.literal1=color\:\#993300 view.fgColor=\#000000 console.bgColor=\#ffffff tasklist.highlight.color=\#ffffff view.style.label=color\:\#336699 view.style.comment4=color\:\#cc6600 view.style.comment3=color\:\#6600cc view.style.comment2=color\:\#555555 style\:i view.style.comment1=color\:\#555555 style\:i jdiff.changed-color=\#ffcc66 view.wrapGuideColor=\#8080ff jdiff.selected-highlight-deleted-color=\#ff6666 jdiff.highlight-deleted-color=\#ff9090 view.gutter.fgColor=\#999999 white-space.tab-color=\#6c92b8 view.structureHighlightColor=\#000000 console.infoColor=\#009600 jdiff.overview-changed-color=\#ffcc66 error-list.errorColor=\#ff0000 console.errorColor=\#ff0000 view.gutter.markerColor=\#ccffcc jdiff.highlight-inserted-color=\#d9ff90 view.style.keyword4=color\:\#66ccff style\:b view.style.keyword3=color\:\#660066 view.style.keyword2=color\:\#336699 view.style.keyword1=color\:\#006699 console.font=monospaced scheme.name=ScottLightGrey1 white-space.block-color=\#006633 console.fontsize=12 view.selectionColor=\#ccffcc view.style.function=color\:\#0000ff view.style.operator=color\:\#333333