CoCalc -- xterm-theme.ts

GitHub Repository: sagemathinc/wapython
Path: blob/main/desktop/electron/src/xterm-theme.ts
¹⁰⁶⁷ views
1
import { ITheme, Terminal } from "xterm";
2

3
export default function setTheme(
4
  terminal: Terminal,
5
  themeName: keyof typeof colorThemes
6
): void {
7
  let t = colorThemes[themeName];
8
  if (t == null) {
9
    t = colorThemes["default"];
10
    if (t == null) {
11
      // can't happen
12
      return;
13
    }
14
  }
15
  const colors = t.colors;
16
  if (colors == null) {
17
    // satisfies typescript
18
    return;
19
  }
20
  const theme: ITheme = {
21
    background: colors[17],
22
    foreground: colors[16],
23
    cursor: colors[16],
24
    cursorAccent: colors[17],
25
    selectionBackground: "rgba(128, 128, 160, 0.25)",
26
    black: colors[0],
27
    red: colors[1],
28
    green: colors[2],
29
    yellow: colors[3],
30
    blue: colors[4],
31
    magenta: colors[5],
32
    cyan: colors[6],
33
    white: colors[7],
34
    brightBlack: colors[8],
35
    brightRed: colors[9],
36
    brightGreen: colors[10],
37
    brightYellow: colors[11],
38
    brightBlue: colors[12],
39
    brightMagenta: colors[13],
40
    brightCyan: colors[14],
41
    brightWhite: colors[15],
42
  };
43
  terminal.options.theme = theme;
44
}
45

46
// TODO -- factor into another package such as "xterm-themes".  Maybe somebody else already did that?
47

48
export const colorThemes = {
49
  "solarized-dark": {
50
    comment: "Solarized dark",
51
    colors: [
52
      "#eee8d5",
53
      "#dc322f",
54
      "#859900",
55
      "#b58900",
56
      "#268bd2",
57
      "#d33682",
58
      "#2aa198",
59
      "#073642",
60
      "#fdf6e3",
61
      "#cb4b16",
62
      "#93a1a1",
63
      "#839496",
64
      "#657b83",
65
      "#6c71c4",
66
      "#586e75",
67
      "#002b36",
68
      "#eee8d5",
69
      "#002b36",
70
    ],
71
  },
72
  "solarized-light": {
73
    comment: "Solarized light",
74
    colors: [
75
      "#073642",
76
      "#dc322f",
77
      "#859900",
78
      "#b58900",
79
      "#268bd2",
80
      "#d33682",
81
      "#2aa198",
82
      "#eee8d5",
83
      "#002b36",
84
      "#cb4b16",
85
      "#586e75",
86
      "#657b83",
87
      "#839496",
88
      "#6c71c4",
89
      "#93a1a1",
90
      "#fdf6e3",
91
      "#073642",
92
      "#fdf6e3",
93
    ],
94
  },
95
  "low-contrast": {
96
    comment: "Low contrast dark",
97
    colors: [
98
      "#222222",
99
      "#9e5641",
100
      "#6c7e55",
101
      "#caaf2b",
102
      "#7fb8d8",
103
      "#956d9d",
104
      "#4c8ea1",
105
      "#808080",
106
      "#454545",
107
      "#cc896d",
108
      "#c4df90",
109
      "#ffe080",
110
      "#b8ddea",
111
      "#c18fcb",
112
      "#6bc1d0",
113
      "#cdcdcd",
114
      "#cdcdcd",
115
      "#343434",
116
    ],
117
  },
118
  "raven-dark": {
119
    comment: "Raven dark",
120
    colors: [
121
      "#3f3e3b",
122
      "#b36b65",
123
      "#4f8c61",
124
      "#8d7e45",
125
      "#6181b8",
126
      "#a46d9d",
127
      "#0e8e9a",
128
      "#b6b7bb",
129
      "#7f7f83",
130
      "#efa29b",
131
      "#86c596",
132
      "#c7b679",
133
      "#9ab9f3",
134
      "#dfa4d7",
135
      "#5ec7d4",
136
      "#feffff",
137
      "#a6a7aa",
138
      "#32312e",
139
    ],
140
  },
141
  default: {
142
    comment: "Default black on white",
143
    colors: [
144
      "#2e3436",
145
      "#cc0000",
146
      "#4e9a06",
147
      "#c4a000",
148
      "#3465a4",
149
      "#75507b",
150
      "#06989a",
151
      "#d3d7cf",
152
      "#555753",
153
      "#ef2929",
154
      "#8ae234",
155
      "#fce94f",
156
      "#729fcf",
157
      "#ad7fa8",
158
      "#34e2e2",
159
      "#eeeeec",
160
      "#000000",
161
      "#ffffff",
162
    ],
163
  },
164
  mono: {
165
    comment: "Monochrome dark",
166
    colors: [
167
      "#000000",
168
      "#434343",
169
      "#6b6b6b",
170
      "#969696",
171
      "#4a4a4a",
172
      "#707070",
173
      "#a9a9a9",
174
      "#ffffff",
175
      "#222222",
176
      "#434343",
177
      "#a5a5a5",
178
      "#e5e5e5",
179
      "#4d4d4d",
180
      "#747474",
181
      "#c4c4c4",
182
      "#dedede",
183
      "#b0b0b0",
184
      "#282828",
185
    ],
186
  },
187
  tango: {
188
    comment: "Tango light",
189
    colors: [
190
      "#2e3436",
191
      "#cc0000",
192
      "#4e9a06",
193
      "#c4a000",
194
      "#3465a4",
195
      "#75507b",
196
      "#06989a",
197
      "#d3d7cf",
198
      "#555753",
199
      "#ef2929",
200
      "#8ae234",
201
      "#fce94f",
202
      "#729fcf",
203
      "#ad7fa8",
204
      "#34e2e2",
205
      "#eeeeec",
206
      "#000000",
207
      "#ffffff",
208
    ],
209
  },
210
  infred: {
211
    comment: "Infinite red dark",
212
    colors: [
213
      "#6c6c6c",
214
      "#e9897c",
215
      "#b6e77d",
216
      "#ecebbe",
217
      "#a9cdeb",
218
      "#ea96eb",
219
      "#c9caec",
220
      "#f2f2f2",
221
      "#747474",
222
      "#f99286",
223
      "#c3f786",
224
      "#fcfbcc",
225
      "#b6defb",
226
      "#fba1fb",
227
      "#d7d9fc",
228
      "#e2e2e2",
229
      "#f2f2f2",
230
      "#101010",
231
    ],
232
  },
233
  "raven-light": {
234
    comment: "Raven light",
235
    colors: [
236
      "#e7dfd5",
237
      "#f46864",
238
      "#00ae58",
239
      "#ac9510",
240
      "#389bff",
241
      "#dc6dd2",
242
      "#00b0cc",
243
      "#5b636b",
244
      "#8f98a1",
245
      "#b42b33",
246
      "#007525",
247
      "#726000",
248
      "#0066cb",
249
      "#a03398",
250
      "#007793",
251
      "#00020e",
252
      "#69717a",
253
      "#faf0e6",
254
    ],
255
  },
256
};
257

258
Product

Resources

Company
