forked from balazstth/jedit-schemes
-
Notifications
You must be signed in to change notification settings - Fork 0
/
jEdit_4.2.jedit-scheme
77 lines (77 loc) · 2.69 KB
/
jEdit_4.2.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:
#Thu Nov 06 18:19:55 EST 2003
view.gutter.highlightColor=\#666699
jdiff.deleted-color=\#ff6666
view.gutter.foldColor=\#838383
jdiff.overview-deleted-color=\#FF6666
white-space.fold-color=\#cccccc
view.gutter.noFocusBorderColor=\#ffffff
view.gutter.structureHighlightColor=\#000000
view.bgColor=\#ffffff
view.gutter.focusBorderColor=\#990099
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\:\#0000ff
view.style.invalid=color\:\#ff0066 bgColor\:\#ffffcc
white-space.space-color=\#6699cc
jdiff.selected-highlight-inserted-color=\#99cc66
jdiff.highlight-changed-color=\#FFFF90
view.gutter.bgColor=\#dbdbdb
jdiff.inserted-color=\#99cc66
console.fontstyle=0
console.warningColor=\#ffa800
view.caretColor=\#ff0000
console.plainColor=\#000000
view.gutter.currentLineColor=\#ff0033
white-space.whitespace-color=\#ff6600
view.style.digit=color\:\#ff0000
view.lineHighlightColor=\#ffffe0
view.status.memory.background=\#666699a
view.structureHighlightColor=\#000000
view.style.foldLine.3=color\:\#000000 bgColor\:\#ffe0f0 style\:b
view.style.foldLine.2=color\:\#000000 bgColor\:\#e7e7ff style\:b
view.style.literal4=color\:\#6600cc
view.style.foldLine.1=color\:\#000000 bgColor\:\#fff0cc style\:b
jdiff.overview-inserted-color=\#99CC66
view.style.literal3=color\:\#9900cc
view.style.foldLine.0=color\:\#000000 bgColor\:\#dafeda style\:b
view.style.literal2=color\:\#cc00cc
view.eolMarkerColor=\#ff6633
view.style.literal1=color\:\#ff00cc
view.fgColor=\#000000
console.bgColor=\#ffffff
tasklist.highlight.color=\#0000ff
view.style.label=color\:\#02b902
view.style.comment4=color\:\#cc6600
view.style.comment3=color\:\#6600cc
view.style.comment2=color\:\#ff8400
view.style.comment1=color\:\#cc0000
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\:\#0099ff style\:b
view.style.keyword2=color\:\#009966 style\:b
view.style.keyword1=color\:\#006699 style\:b
console.font=Monospaced
scheme.name=jEdit 4.2
white-space.block-color=\#000000
console.fontsize=12
view.selectionColor=\#ccccff
view.style.function=color\:\#9966ff
view.style.operator=color\:\#000000 style\:b
view.status.background=\#ffffff
view.status.foreground=\#000000