forked from balazstth/jedit-schemes
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Murphy.jedit-scheme
77 lines (77 loc) · 2.67 KB
/
Murphy.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 19:25:30 EST 2003
view.gutter.highlightColor=\#0099ff
jdiff.deleted-color=\#ff6666
view.gutter.foldColor=\#0099cc
jdiff.overview-deleted-color=\#ff6666
white-space.fold-color=\#ccff00
view.gutter.noFocusBorderColor=\#808080
view.gutter.structureHighlightColor=\#00cc66
view.bgColor=\#000000
view.gutter.focusBorderColor=\#ffff00
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\:\#00aae2
view.style.invalid=color\:\#ff0066 bgColor\:\#ffffcc
white-space.space-color=\#727b84
jdiff.selected-highlight-inserted-color=\#99cc66
jdiff.highlight-changed-color=\#ffff90
view.gutter.bgColor=\#000000
jdiff.inserted-color=\#99cc66
console.fontstyle=0
console.warningColor=\#ffa800
view.caretColor=\#ffff00
console.plainColor=\#000000
view.gutter.currentLineColor=\#990066
white-space.whitespace-color=\#ff6600
view.style.digit=color\:\#cdcd00
view.lineHighlightColor=\#686868
view.status.memory.background=\#666699a
view.structureHighlightColor=\#ffff00
view.style.foldLine.3=color\:\#ffff99 bgColor\:\#990033 style\:b
view.style.foldLine.2=color\:\#ffff99 bgColor\:\#000066 style\:b
view.style.literal4=color\:\#6600cc
view.style.foldLine.1=color\:\#ffff99 bgColor\:\#144701 style\:b
jdiff.overview-inserted-color=\#99cc66
view.style.literal3=color\:\#9900cc
view.style.foldLine.0=color\:\#ffff99 bgColor\:\#660066 style\:b
view.style.literal2=color\:\#dadada
view.eolMarkerColor=\#009999
view.style.literal1=color\:\#ffffff
view.fgColor=\#99ff99
console.bgColor=\#ffffff
tasklist.highlight.color=\#ffffff
view.style.label=color\:\#ccccff style\:i
view.style.comment4=color\:\#cc6600
view.style.comment3=color\:\#cc3300
view.style.comment2=color\:\#dcac94
view.style.comment1=color\:\#ff9900
jdiff.changed-color=\#ffcc66
view.wrapGuideColor=\#8080ff
jdiff.selected-highlight-deleted-color=\#ff6666
jdiff.highlight-deleted-color=\#ff9090
view.gutter.fgColor=\#ffffcc
white-space.tab-color=\#979797
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\:\#cc66ff
view.style.keyword2=color\:\#00cc99
view.style.keyword1=color\:\#ffff00
console.font=monospaced
scheme.name=Murphy
white-space.block-color=\#990066
console.fontsize=12
view.selectionColor=\#009933
view.style.function=color\:\#00ccff
view.style.operator=color\:\#00ffff
view.status.background=\#000000
view.status.foreground=\#99ff99