spectral-m2 1.2.0

A syntax-aware terminal shell for Macaulay2
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
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198

# Native palette source: https://github.com/sainnhe/gruvbox-material
# Palette names are shared by every variant; values retain their upstream RGB identity.
name = "gruvbox material"

[variants]
dark = ["material", "mix", "original"]
light = ["material", "mix", "original"]

[palette."aqua"]
dark = { material = "#89b482", mix = "#8bba7f", original = "#8ec07c" }
light = { material = "#4c7a5d", mix = "#477a5b", original = "#427b58" }

[palette."bg0"]
dark = "#282828"
light = "#fbf1c7"

[palette."bg1"]
dark = "#32302f"
light = "#f4e8be"

[palette."bg2"]
dark = "#32302f"
light = "#f2e5bc"

[palette."bg3"]
dark = "#45403d"
light = "#eee0b7"

[palette."bg4"]
dark = "#45403d"
light = "#e5d5ad"

[palette."bg5"]
dark = "#5a524c"
light = "#ddccab"

[palette."bg_current_word"]
dark = "#3c3836"
light = "#f2e5bc"

[palette."bg_diff_blue"]
dark = "#0e363e"
light = "#e2e6c7"

[palette."bg_diff_green"]
dark = "#34381b"
light = "#e6eabc"

[palette."bg_diff_red"]
dark = "#402120"
light = "#f9e0bb"

[palette."bg_dim"]
dark = "#1b1b1b"
light = "#f2e5bc"

[palette."bg_green"]
dark = { material = "#a9b665", mix = "#b0b846", original = "#b8bb26" }
light = "#6f8352"

[palette."bg_red"]
dark = { material = "#ea6962", mix = "#db4740", original = "#cc241d" }
light = "#ae5858"

[palette."bg_statusline1"]
dark = "#32302f"
light = "#f2e5bc"

[palette."bg_statusline2"]
dark = "#3a3735"
light = "#f2e5bc"

[palette."bg_statusline3"]
dark = "#504945"
light = "#e5d5ad"

[palette."bg_visual_blue"]
dark = "#374141"
light = "#dadec0"

[palette."bg_visual_green"]
dark = "#3b4439"
light = "#dee2b6"

[palette."bg_visual_purple"]
dark = "#443840"
light = "#efdec3"

[palette."bg_visual_red"]
dark = "#4c3432"
light = "#f1d9b5"

[palette."bg_visual_yellow"]
dark = "#4f422e"
light = "#fae7b3"

[palette."bg_yellow"]
dark = { material = "#d8a657", mix = "#e9b143", original = "#fabd2f" }
light = "#a96b2c"

[palette."blue"]
dark = { material = "#7daea3", mix = "#80aa9e", original = "#83a598" }
light = { material = "#45707a", mix = "#266b79", original = "#076678" }

[palette."fg0"]
dark = { material = "#d4be98", mix = "#e2cca9", original = "#ebdbb2" }
light = { material = "#654735", mix = "#514036", original = "#3c3836" }

[palette."fg1"]
dark = { material = "#ddc7a1", mix = "#e2cca9", original = "#ebdbb2" }
light = { material = "#4f3829", mix = "#514036", original = "#3c3836" }

[palette."green"]
dark = { material = "#a9b665", mix = "#b0b846", original = "#b8bb26" }
light = { material = "#6c782e", mix = "#72761e", original = "#79740e" }

[palette."grey0"]
dark = "#7c6f64"
light = "#a89984"

[palette."grey1"]
dark = "#928374"
light = "#928374"

[palette."grey2"]
dark = "#a89984"
light = "#7c6f64"

[palette."orange"]
dark = { material = "#e78a4e", mix = "#f28534", original = "#fe8019" }
light = { material = "#c35e0a", mix = "#b94c07", original = "#af3a03" }

[palette."purple"]
dark = "#d3869b"
light = { material = "#945e80", mix = "#924f79", original = "#8f3f71" }

[palette."red"]
dark = { material = "#ea6962", mix = "#f2594b", original = "#fb4934" }
light = { material = "#c14a4a", mix = "#af2528", original = "#9d0006" }

[palette."yellow"]
dark = { material = "#d8a657", mix = "#e9b143", original = "#fabd2f" }
light = { material = "#b47109", mix = "#b4730e", original = "#b57614" }

[groups]
Accent = { fg = "aqua" }
Attribute = { fg = "purple" }
Bg0 = { bg = "bg0" }
Bg1 = { bg = "bg_dim" }
Bg2 = { bg = "bg1" }
Bg3 = { bg = "bg_visual_red" }
Bg4 = { bg = "bg3" }
Boolean = { fg = "purple" }
Builtin = { fg = "purple" }
Comment = { fg = "grey1", italic = true }
CompiledFunction = { fg = "green" }
Conditional = { fg = "red" }
Constant = { fg = "fg0" }
Debug = { fg = "orange" }
Delimiter = { fg = "grey1" }
Documentation = { fg = "fg0" }
EnumVariant = { fg = "blue" }
Error = {bold = true,  fg = "red" }
ErrorMessage = { fg = "red"}
Exception = { fg = "red" }
Faint = { fg = "grey0" }
Float = { fg = "purple" }
Function = { fg = "green" }
Hint = { fg = "purple" }
Info = { fg = "blue" }
Installation = { fg = "orange" }
Keyword = { fg = "red" }
Macro = { fg = "purple" }
MarkupBrief = { fg = "yellow", italic = true }
MarkupHeading1 = { bold = true, fg = "orange" }
MarkupHeading2 = { bold = true, fg = "yellow" }
MarkupHeading3 = { bold = true, fg = "blue" }
Muted = { fg = "grey1" }
Namespace = { fg = "yellow" }
Number = { fg = "purple" }
Operator = { fg = "orange" }
Package = { fg = "yellow" }
Parameter = { fg = "fg0" }
Picker = { bg = "bg2", fg = "fg0" }
Property = { fg = "blue" }
Punctuation = { fg = "fg0" }
Quote = { fg = "yellow" }
Regex = { fg = "green" }
Repeat = { fg = "red" }
Statement = { fg = "red" }
StorageClass = { fg = "red" }
String = { fg = "aqua" }
Symbol = { fg = "fg0" }
Text = { fg = "fg0" }
Type = { fg = "yellow" }
Variable = { fg = "fg0" }
ViewLabelActive = { fg = "fg0" }
Warning = { fg = "yellow" }