-
Notifications
You must be signed in to change notification settings - Fork 2
/
Desert.jedit-scheme
77 lines (77 loc) · 2.71 KB
/
Desert.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:57:36 EST 2003
view.gutter.highlightColor=\#ffcc00
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=\#cccccc
view.bgColor=\#333333
view.gutter.focusBorderColor=\#99ccff
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\:\#bdb76b
view.style.invalid=color\:\#ff0066 bgColor\:\#ffffcc
white-space.space-color=\#9ab8a9
jdiff.selected-highlight-inserted-color=\#99cc66
jdiff.highlight-changed-color=\#ffff90
view.gutter.bgColor=\#282828
jdiff.inserted-color=\#99cc66
console.fontstyle=0
console.warningColor=\#ffa800
view.caretColor=\#99ff99
console.plainColor=\#000000
view.gutter.currentLineColor=\#66cc00
white-space.whitespace-color=\#ff6600
view.style.digit=color\:\#cc3300
view.lineHighlightColor=\#1d0a0a
view.status.memory.background=\#666699a
view.structureHighlightColor=\#ffff00
view.style.foldLine.3=color\:\#ffffff bgColor\:\#314444 style\:b
view.style.foldLine.2=color\:\#ffffff bgColor\:\#3c3c67 style\:b
view.style.literal4=color\:\#ffffff
view.style.foldLine.1=color\:\#ffffff bgColor\:\#625950 style\:b
jdiff.overview-inserted-color=\#99cc66
view.style.literal3=color\:\#ffcc00
view.style.foldLine.0=color\:\#ffffff bgColor\:\#452424 style\:b
view.style.literal2=color\:\#cc6600
view.eolMarkerColor=\#ffcc00
view.style.literal1=color\:\#ffa0a0
view.fgColor=\#ffffff
console.bgColor=\#ffffff
tasklist.highlight.color=\#ffcc99
view.style.label=color\:\#ffdead style\:i
view.style.comment4=color\:\#cc6600
view.style.comment3=color\:\#999900 style\:i
view.style.comment2=color\:\#cd5c5c
view.style.comment1=color\:\#87ceeb
jdiff.changed-color=\#ffcc66
view.wrapGuideColor=\#8080ff
jdiff.selected-highlight-deleted-color=\#ff6666
jdiff.highlight-deleted-color=\#ff9090
view.gutter.fgColor=\#ffffff
white-space.tab-color=\#9ab8a9
console.infoColor=\#009600
jdiff.overview-changed-color=\#ffcc66
error-list.errorColor=\#ff0000
console.errorColor=\#ff0000
view.gutter.markerColor=\#006666
jdiff.highlight-inserted-color=\#d9ff90
view.style.keyword4=color\:\#66ccff style\:b
view.style.keyword3=color\:\#cc6600 style\:b
view.style.keyword2=color\:\#009966 style\:b
view.style.keyword1=color\:\#f0e68c style\:b
console.font=monospaced
scheme.name=Dessert
white-space.block-color=\#006633
console.fontsize=12
view.selectionColor=\#537017
view.style.function=color\:\#98fb98
view.style.operator=color\:\#9b9b9b style\:b
view.status.background=\#333333
view.status.foreground=\#ffffff