#jEdit properties
#Tue Sep 30 17:03:21 CEST 2003
buffer.encoding=ISO8859_15
buffer.indentSize=4
buffer.lineSeparator=\r\n
buffer.tabSize=4
commando.toolbar.enabled=true
console.bgColor=\#000000
console.dock-position=floating
console.extendedState=0
console.font=Lucida Sans Typewriter
console.infoColor=\#00c000
console.plainColor=\#cccccc
console.toolbar.enabled=true
lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel
view.bgColor=\#000080
view.bracketHighlightColor=\#ffc033
view.dock.bottom.dimension=0
view.dock.left.dimension=0
view.dock.right.dimension=0
view.dock.top.dimension=0
view.eolMarkerColor=\#999999
view.extendedState=0
view.fgColor=\#ffff00
view.font=Lucida Sans Typewriter
view.gutter.fontsize=12
view.gutter.highlightColor=\#666699
view.height=843
view.lineHighlightColor=\#0000c0
view.middleMousePaste=true
view.status.memory.background=\#66699a
view.style.comment1=color\:\#cccccc style\:i
view.style.comment2=color\:\#999999 style\:i
view.style.digit=color\:\#00ff00 style\:b
view.style.foldLine=color\:\#ffff00 bgColor\:\#006666 style\:b
view.style.function=color\:\#ffff00 style\:b
view.style.invalid=color\:\#ff4040 style\:ib
view.style.keyword1=color\:\#ffffff style\:b
view.style.keyword2=color\:\#ffff99 style\:b
view.style.keyword3=color\:\#ffcc99 style\:b
view.style.literal1=color\:\#ff0000 style\:b
view.style.literal2=color\:\#00ff00 style\:b
view.style.markup=color\:\#ffffff style\:b
view.style.operator=color\:\#00c0ff style\:b
white-space.fold-color=\#cccccc
white-space.remove-trailing-white-space=false
white-space.space-color=\#6699cc
white-space.whitespace-color=\#ff6600
xml.tag-highlight-color=\#00ffcc