-
Notifications
You must be signed in to change notification settings - Fork 2
/
jEdit_4.0.jedit-scheme
77 lines (77 loc) · 2.71 KB
/
jEdit_4.0.jedit-scheme
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
#jEdit Editor Scheme
#:mode=properties:lineSeparator=\n:
#Fri Nov 07 13:21:58 EST 2003
view.gutter.highlightColor=\#000066
jdiff.deleted-color=\#ff6666
view.gutter.foldColor=\#666699
jdiff.overview-deleted-color=\#FF6666
white-space.fold-color=\#CCCCCC
view.gutter.noFocusBorderColor=\#a0a0b4
view.gutter.structureHighlightColor=\#990000
view.bgColor=\#ffffff
view.gutter.focusBorderColor=\#666699
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\:\#5e5e5e style\:b
view.style.invalid=color\:\#ff0000
white-space.space-color=\#6699CC
jdiff.selected-highlight-inserted-color=\#99CC66
jdiff.highlight-changed-color=\#FFFF90
view.gutter.bgColor=\#ffffff
jdiff.inserted-color=\#99cc66
console.fontstyle=0
console.warningColor=\#ffa800
view.caretColor=\#ff0000
console.plainColor=\#000000
view.gutter.currentLineColor=\#d04040
white-space.whitespace-color=\#ff6600
view.style.digit=color\:\#666600
view.lineHighlightColor=\#ffffe0
view.status.memory.background=\#66699a
view.structureHighlightColor=\#000000
view.style.foldLine.3=color\:\#000000 bgColor\:\#f2f2fb style\:b
view.style.foldLine.2=color\:\#000000 bgColor\:\#f6f6db style\:b
view.style.literal4=color\:\#6600cc
view.style.foldLine.1=color\:\#000000 bgColor\:\#dddfe1 style\:b
jdiff.overview-inserted-color=\#99CC66
view.style.literal3=color\:\#9900cc
view.style.foldLine.0=color\:\#000000 bgColor\:\#f5e4e4 style\:b
view.style.literal2=color\:\#404040
view.eolMarkerColor=\#009999
view.style.literal1=color\:\#404040
view.fgColor=\#000000
console.bgColor=\#ffffff
tasklist.highlight.color=\#000099
view.style.label=color\:\#990033 style\:ib
view.style.comment4=color\:\#cc6600
view.style.comment3=color\:\#6600cc
view.style.comment2=color\:\#990033 style\:i
view.style.comment1=color\:\#006666 style\:i
jdiff.changed-color=\#ffcc66
view.wrapGuideColor=\#8080ff
jdiff.selected-highlight-deleted-color=\#FF6666
jdiff.highlight-deleted-color=\#FF9090
view.gutter.fgColor=\#000000
white-space.tab-color=\#336699
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\:\#000066 style\:b
view.style.keyword2=color\:\#660066 style\:b
view.style.keyword1=color\:\#000000 style\:b
console.font=Monospaced
scheme.name=jEdit 4.0
white-space.block-color=\#000000
console.fontsize=12
view.selectionColor=\#ccccff
view.style.function=color\:\#000066
view.style.operator=color\:\#000000 style\:b
view.status.background=\#ffffff
view.status.foreground=\#000000