@fsegurai/codemirror-theme-github-dark 6.2.7 → 6.3.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (4) hide show
  1. package/README.md +40 -32
  2. package/dist/index.cjs +646 -368
  3. package/dist/index.js +646 -368
  4. package/package.json +1 -1
package/dist/index.cjs CHANGED
@@ -10,9 +10,6 @@ const generalContent = {
10
10
  fontFamily: 'JetBrains Mono, Consolas, monospace',
11
11
  lineHeight: '1.6',
12
12
  };
13
- const generalCursor = {
14
- borderLeftWidth: '2px',
15
- };
16
13
  const generalDiff = {
17
14
  insertedTextDecoration: 'none',
18
15
  deletedTextDecoration: 'line-through',
@@ -22,11 +19,9 @@ const generalGutter = {
22
19
  border: 'none',
23
20
  paddingRight: '8px',
24
21
  fontSize: '0.9em',
25
- fontWeight: '500',
26
22
  lineHeight: '1.78', // Adjusted to compensate for 0.9em fontSize (1.6 / 0.9 ≈ 1.78)
27
23
  };
28
24
  const generalPanel = {
29
- border: 'none',
30
25
  borderRadius: '4px',
31
26
  padding: '2px 10px',
32
27
  };
@@ -106,6 +101,498 @@ function applyMergeRevertStyles(styles) {
106
101
  document.head.appendChild(styleEl);
107
102
  }
108
103
 
104
+ // Shared theme core: every theme package describes a palette (`ThemeDefinition`) and this module turns it into the
105
+ // CodeMirror extension. Generated into each package by `bun run generate:helpers`; edit only the copy in
106
+ // `packages/.helper/utils/`.
107
+ /** Parent of every fine role: an omitted fine role resolves to its parent. */
108
+ const ROLE_PARENTS = {
109
+ controlKeyword: 'keyword',
110
+ moduleKeyword: 'keyword',
111
+ definitionKeyword: 'keyword',
112
+ operatorKeyword: 'operator',
113
+ modifier: 'keyword',
114
+ arithmeticOperator: 'operator',
115
+ logicOperator: 'operator',
116
+ compareOperator: 'operator',
117
+ bitwiseOperator: 'operator',
118
+ updateOperator: 'operator',
119
+ derefOperator: 'operator',
120
+ definitionOperator: 'operator',
121
+ typeOperator: 'operator',
122
+ controlOperator: 'operator',
123
+ separator: 'punctuation',
124
+ bracket: 'punctuation',
125
+ paren: 'bracket',
126
+ brace: 'bracket',
127
+ squareBracket: 'bracket',
128
+ angleBracket: 'bracket',
129
+ character: 'name',
130
+ macroName: 'name',
131
+ variable: 'name',
132
+ localVariable: 'variable',
133
+ variableDefinition: 'variable',
134
+ nameDefinition: 'variableDefinition',
135
+ functionDefinition: 'function',
136
+ self: 'variable',
137
+ label: 'name',
138
+ propertyDefinition: 'property',
139
+ method: 'property',
140
+ methodDefinition: 'method',
141
+ specialProperty: 'property',
142
+ typeDefinition: 'type',
143
+ className: 'type',
144
+ namespace: 'type',
145
+ standardTag: 'tag',
146
+ annotation: 'meta',
147
+ documentMeta: 'meta',
148
+ processingInstruction: 'meta',
149
+ attributeValue: 'string',
150
+ literal: 'string',
151
+ docString: 'string',
152
+ regexp: 'string',
153
+ specialString: 'regexp',
154
+ escape: 'string',
155
+ unit: 'number',
156
+ atom: 'constant',
157
+ bool: 'atom',
158
+ null: 'constant',
159
+ constantName: 'constant',
160
+ standardName: 'constant',
161
+ color: 'standardName',
162
+ specialVariable: 'constant',
163
+ docComment: 'comment',
164
+ headingLevel: 'heading',
165
+ heading1: 'headingLevel',
166
+ heading2: 'headingLevel',
167
+ heading3: 'headingLevel',
168
+ heading4: 'headingLevel',
169
+ heading5: 'headingLevel',
170
+ heading6: 'headingLevel',
171
+ list: 'name',
172
+ quote: 'string',
173
+ monospace: 'string',
174
+ contentSeparator: 'punctuation',
175
+ };
176
+ /**
177
+ * Canonical tag → role table shared by every theme: every Lezer base tag and the modifier combinations that the
178
+ * official grammars emit. Each tag appears once, so no rule is shadowed by a later one.
179
+ */
180
+ const SYNTAX_TAGS = [
181
+ ['keyword', [highlight.tags.keyword]],
182
+ ['controlKeyword', [highlight.tags.controlKeyword]],
183
+ ['moduleKeyword', [highlight.tags.moduleKeyword]],
184
+ ['definitionKeyword', [highlight.tags.definitionKeyword]],
185
+ ['operatorKeyword', [highlight.tags.operatorKeyword]],
186
+ ['modifier', [highlight.tags.modifier]],
187
+ ['operator', [highlight.tags.operator]],
188
+ ['arithmeticOperator', [highlight.tags.arithmeticOperator]],
189
+ ['logicOperator', [highlight.tags.logicOperator]],
190
+ ['compareOperator', [highlight.tags.compareOperator]],
191
+ ['bitwiseOperator', [highlight.tags.bitwiseOperator]],
192
+ ['updateOperator', [highlight.tags.updateOperator]],
193
+ ['derefOperator', [highlight.tags.derefOperator]],
194
+ ['definitionOperator', [highlight.tags.definitionOperator]],
195
+ ['typeOperator', [highlight.tags.typeOperator]],
196
+ ['controlOperator', [highlight.tags.controlOperator]],
197
+ ['punctuation', [highlight.tags.punctuation, highlight.tags.function(highlight.tags.punctuation)]],
198
+ ['separator', [highlight.tags.separator]],
199
+ ['bracket', [highlight.tags.bracket]],
200
+ ['paren', [highlight.tags.paren]],
201
+ ['brace', [highlight.tags.brace, highlight.tags.special(highlight.tags.brace)]],
202
+ ['squareBracket', [highlight.tags.squareBracket]],
203
+ ['angleBracket', [highlight.tags.angleBracket]],
204
+ ['name', [highlight.tags.name, highlight.tags.special(highlight.tags.name)]],
205
+ ['character', [highlight.tags.character]],
206
+ ['macroName', [highlight.tags.macroName]],
207
+ ['variable', [highlight.tags.variableName, highlight.tags.standard(highlight.tags.variableName)]],
208
+ ['localVariable', [highlight.tags.local(highlight.tags.variableName)]],
209
+ ['variableDefinition', [highlight.tags.definition(highlight.tags.variableName)]],
210
+ ['nameDefinition', [highlight.tags.definition(highlight.tags.name)]],
211
+ ['function', [highlight.tags.function(highlight.tags.variableName)]],
212
+ ['functionDefinition', [highlight.tags.definition(highlight.tags.function(highlight.tags.variableName))]],
213
+ ['self', [highlight.tags.self]],
214
+ ['label', [highlight.tags.labelName]],
215
+ ['property', [highlight.tags.propertyName]],
216
+ ['propertyDefinition', [highlight.tags.definition(highlight.tags.propertyName)]],
217
+ ['method', [highlight.tags.function(highlight.tags.propertyName)]],
218
+ ['methodDefinition', [highlight.tags.definition(highlight.tags.function(highlight.tags.propertyName))]],
219
+ ['specialProperty', [highlight.tags.special(highlight.tags.propertyName), highlight.tags.definition(highlight.tags.special(highlight.tags.propertyName))]],
220
+ ['type', [highlight.tags.typeName, highlight.tags.standard(highlight.tags.typeName)]],
221
+ ['typeDefinition', [highlight.tags.definition(highlight.tags.typeName)]],
222
+ ['className', [highlight.tags.className, highlight.tags.definition(highlight.tags.className), highlight.tags.constant(highlight.tags.className)]],
223
+ ['namespace', [highlight.tags.namespace]],
224
+ ['tag', [highlight.tags.tagName]],
225
+ ['standardTag', [highlight.tags.standard(highlight.tags.tagName)]],
226
+ ['attribute', [highlight.tags.attributeName, highlight.tags.special(highlight.tags.attributeName)]],
227
+ ['attributeValue', [highlight.tags.attributeValue]],
228
+ ['literal', [highlight.tags.literal]],
229
+ ['string', [highlight.tags.string]],
230
+ ['docString', [highlight.tags.docString]],
231
+ ['regexp', [highlight.tags.regexp]],
232
+ ['specialString', [highlight.tags.special(highlight.tags.string), highlight.tags.special(highlight.tags.docString)]],
233
+ ['escape', [highlight.tags.escape]],
234
+ ['number', [highlight.tags.number, highlight.tags.integer, highlight.tags.float]],
235
+ ['unit', [highlight.tags.unit]],
236
+ ['atom', [highlight.tags.atom]],
237
+ ['bool', [highlight.tags.bool]],
238
+ ['null', [highlight.tags.null]],
239
+ ['constantName', [highlight.tags.constant(highlight.tags.name)]],
240
+ ['standardName', [highlight.tags.standard(highlight.tags.name)]],
241
+ ['color', [highlight.tags.color]],
242
+ ['specialVariable', [highlight.tags.special(highlight.tags.variableName)]],
243
+ ['comment', [highlight.tags.comment, highlight.tags.lineComment, highlight.tags.blockComment]],
244
+ ['docComment', [highlight.tags.docComment]],
245
+ ['meta', [highlight.tags.meta]],
246
+ ['documentMeta', [highlight.tags.documentMeta]],
247
+ ['processingInstruction', [highlight.tags.processingInstruction]],
248
+ ['annotation', [highlight.tags.annotation]],
249
+ ['content', [highlight.tags.content, highlight.tags.special(highlight.tags.content)]],
250
+ ['heading', [highlight.tags.heading]],
251
+ ['heading1', [highlight.tags.heading1]],
252
+ ['heading2', [highlight.tags.heading2]],
253
+ ['heading3', [highlight.tags.heading3]],
254
+ ['heading4', [highlight.tags.heading4]],
255
+ ['heading5', [highlight.tags.heading5]],
256
+ ['heading6', [highlight.tags.heading6]],
257
+ ['list', [highlight.tags.list]],
258
+ ['quote', [highlight.tags.quote]],
259
+ ['monospace', [highlight.tags.monospace]],
260
+ ['contentSeparator', [highlight.tags.contentSeparator]],
261
+ ['link', [highlight.tags.link]],
262
+ ['url', [highlight.tags.url]],
263
+ ['emphasis', [highlight.tags.emphasis]],
264
+ ['strong', [highlight.tags.strong]],
265
+ ['strikethrough', [highlight.tags.strikethrough]],
266
+ ['invalid', [highlight.tags.invalid]],
267
+ ['inserted', [highlight.tags.inserted]],
268
+ ['deleted', [highlight.tags.deleted]],
269
+ ['changed', [highlight.tags.changed]],
270
+ ];
271
+ /** Inline SVG image (same encoding as `@codemirror/lint`), used to draw lint markers in the theme colors. */
272
+ function svg(content, attrs = 'viewBox="0 0 40 40"') {
273
+ return `url('data:image/svg+xml,<svg xmlns="http://www.w3.org/2000/svg" ${attrs}>${encodeURIComponent(content)}</svg>')`;
274
+ }
275
+ /** Wavy underline of a lint range. */
276
+ function lintUnderline(color) {
277
+ return svg(`<path d="m0 2.5 l2 -1.5 l1 0 l2 1.5 l1 0" stroke="${color}" fill="none" stroke-width=".7"/>`, 'width="6" height="3"');
278
+ }
279
+ /**
280
+ * Canonical UI template: the same selectors for every theme, only palette values differ. Rules of equal specificity
281
+ * keep the order of the original theme files (later rules win).
282
+ */
283
+ function uiTemplate(ui) {
284
+ return {
285
+ '&': {
286
+ color: ui.foreground,
287
+ backgroundColor: ui.background,
288
+ border: ui.border,
289
+ fontSize: generalContent.fontSize,
290
+ fontFamily: generalContent.fontFamily,
291
+ },
292
+ '.cm-content': { caretColor: ui.cursor, lineHeight: generalContent.lineHeight },
293
+ '.cm-cursor, .cm-dropCursor': {
294
+ borderLeftColor: ui.cursor,
295
+ borderLeftWidth: ui.cursorWidth,
296
+ boxShadow: ui.cursorShadow,
297
+ },
298
+ '.cm-cursor-secondary': { borderLeftColor: ui.cursor, opacity: '0.6' },
299
+ '.cm-fat-cursor': {
300
+ backgroundColor: ui.fatCursor.background,
301
+ color: ui.background,
302
+ border: ui.fatCursor.border,
303
+ boxShadow: ui.cursorShadow,
304
+ },
305
+ '&.cm-focused > .cm-scroller > .cm-selectionLayer .cm-selectionBackground, .cm-selectionBackground, .cm-content ::selection': { backgroundColor: ui.selection, color: ui.selectionForeground, outline: ui.selectionOutline },
306
+ '&:not(.cm-focused) .cm-selectionBackground': { backgroundColor: ui.selectionInactive },
307
+ '.cm-selectionLayer': { zIndex: 100 },
308
+ '.cm-searchMatch': {
309
+ backgroundColor: ui.searchMatch.background,
310
+ outline: `${ui.outlineWidth} solid ${ui.searchMatch.outline}`,
311
+ color: ui.searchMatch.foreground,
312
+ borderRadius: generalSearchField.borderRadius,
313
+ boxShadow: ui.searchMatch.shadow,
314
+ },
315
+ '.cm-searchMatch span': { color: ui.searchMatch.foreground },
316
+ '.cm-searchMatch.cm-searchMatch-selected': {
317
+ backgroundColor: ui.searchMatch.selectedBackground,
318
+ color: ui.searchMatch.selectedForeground,
319
+ padding: generalSearchField.padding,
320
+ outline: ui.searchMatch.selectedOutline,
321
+ boxShadow: ui.searchMatch.selectedShadow,
322
+ },
323
+ '.cm-searchMatch.cm-searchMatch-selected span': { color: ui.searchMatch.selectedForeground },
324
+ '.cm-search.cm-panel.cm-textfield': {
325
+ color: ui.panel.foreground,
326
+ borderRadius: generalSearchField.borderRadius,
327
+ padding: generalSearchField.padding,
328
+ },
329
+ '.cm-textfield': {
330
+ backgroundColor: ui.panel.inputBackground,
331
+ color: ui.panel.foreground,
332
+ border: ui.panel.inputBorder,
333
+ borderRadius: generalSearchField.borderRadius,
334
+ padding: generalSearchField.padding,
335
+ },
336
+ '.cm-panels': {
337
+ backgroundColor: ui.panel.background,
338
+ color: ui.panel.foreground,
339
+ border: ui.panel.outline,
340
+ borderRadius: generalPanel.borderRadius,
341
+ boxShadow: ui.panel.shadow,
342
+ },
343
+ '.cm-panels.cm-panels-top': { borderBottom: `${ui.panel.borderWidth} solid ${ui.panel.border}` },
344
+ '.cm-panels.cm-panels-bottom': { borderTop: `${ui.panel.borderWidth} solid ${ui.panel.border}` },
345
+ '.cm-panel.cm-gotoLine': { color: ui.panel.foreground, padding: generalPanel.padding },
346
+ '.cm-panel button, .cm-button': {
347
+ backgroundColor: ui.panel.buttonBackground,
348
+ backgroundImage: 'none',
349
+ color: ui.panel.buttonForeground,
350
+ border: ui.panel.buttonBorder,
351
+ borderRadius: generalPanel.borderRadius,
352
+ padding: generalPanel.padding,
353
+ },
354
+ '.cm-panel button:hover, .cm-button:hover': {
355
+ backgroundColor: ui.panel.buttonHoverBackground,
356
+ color: ui.panel.buttonHoverForeground,
357
+ border: ui.panel.buttonHoverBorder,
358
+ boxShadow: ui.panel.buttonHoverShadow,
359
+ },
360
+ '.cm-activeLine': {
361
+ backgroundColor: ui.activeLine,
362
+ borderLeft: ui.activeLineBorder.left,
363
+ borderRight: ui.activeLineBorder.right,
364
+ borderRadius: generalLine.borderRadius,
365
+ zIndex: 1,
366
+ },
367
+ '.cm-gutters': {
368
+ backgroundColor: ui.gutter.background,
369
+ color: ui.gutter.foreground,
370
+ border: generalGutter.border,
371
+ borderRight: `${ui.outlineWidth} solid ${ui.gutter.border}`,
372
+ paddingRight: generalGutter.paddingRight,
373
+ },
374
+ '.cm-activeLineGutter': {
375
+ backgroundColor: ui.gutter.activeBackground,
376
+ color: ui.gutter.activeForeground,
377
+ fontWeight: ui.gutter.activeFontWeight,
378
+ border: ui.gutter.activeBorder,
379
+ },
380
+ '.cm-lineNumbers': { fontSize: generalGutter.fontSize, lineHeight: generalGutter.lineHeight },
381
+ '.cm-foldGutter': { fontSize: generalGutter.fontSize, lineHeight: generalGutter.lineHeight },
382
+ '.cm-foldGutter .cm-gutterElement': { color: ui.gutter.foreground, cursor: 'pointer' },
383
+ '.cm-foldGutter .cm-gutterElement:hover': { color: ui.gutter.foldHover },
384
+ '.cm-gutter-lint': { color: ui.gutter.foreground },
385
+ '.cm-lint-marker': { width: '1em', height: '1em' },
386
+ '.cm-lint-marker-error': {
387
+ content: svg(`<circle cx="20" cy="20" r="15" fill="${ui.diagnostic.error}" stroke="${ui.background}" stroke-width="4"/>`),
388
+ },
389
+ '.cm-lint-marker-warning': {
390
+ content: svg(`<path fill="${ui.diagnostic.warning}" stroke="${ui.background}" stroke-width="4" stroke-linejoin="round" d="M20 6L37 35L3 35Z"/>`),
391
+ },
392
+ '.cm-lint-marker-info': {
393
+ content: svg(`<path fill="${ui.diagnostic.info}" stroke="${ui.background}" stroke-width="4" stroke-linejoin="round" d="M5 5L35 5L35 35L5 35Z"/>`),
394
+ },
395
+ '.cm-changeGutter': { backgroundColor: ui.gutter.background },
396
+ '.cm-merge-b .cm-changedLineGutter, .cm-inlineChangedLineGutter': { background: ui.diff.insertedForeground },
397
+ '.cm-merge-a .cm-changedLineGutter, .cm-deletedLineGutter': { background: ui.diff.deletedForeground },
398
+ '.cm-insertedLine': {
399
+ textDecoration: generalDiff.insertedTextDecoration,
400
+ backgroundColor: ui.diff.insertedBackground,
401
+ color: ui.diff.insertedForeground,
402
+ padding: generalDiff.insertedLinePadding,
403
+ borderRadius: generalDiff.borderRadius,
404
+ },
405
+ 'ins.cm-insertedLine, ins.cm-insertedLine:not(:has(.cm-changedText))': {
406
+ textDecoration: generalDiff.insertedTextDecoration,
407
+ backgroundColor: `${ui.diff.insertedBackground} !important`,
408
+ color: ui.diff.insertedForeground,
409
+ padding: generalDiff.insertedLinePadding,
410
+ borderRadius: generalDiff.borderRadius,
411
+ border: ui.diff.insertedBorder,
412
+ },
413
+ 'ins.cm-insertedLine .cm-changedText': { background: 'transparent !important' },
414
+ '.cm-deletedLine': {
415
+ textDecoration: generalDiff.deletedTextDecoration,
416
+ backgroundColor: ui.diff.deletedBackground,
417
+ color: ui.diff.deletedForeground,
418
+ padding: generalDiff.insertedLinePadding,
419
+ borderRadius: generalDiff.borderRadius,
420
+ },
421
+ // Merge view deletions only: `del` decorations, inline deletion widgets and the lines of deleted chunks. `:where()`
422
+ // keeps the specificity of the former bare `del` selector without styling other `del` elements.
423
+ 'del.cm-deletedLine, del.cm-deletedText, :where(.cm-deletedChunk) del, :where(.cm-deletedChunk) del:not(:has(.cm-deletedText))': {
424
+ textDecoration: generalDiff.deletedTextDecoration,
425
+ backgroundColor: `${ui.diff.deletedBackground} !important`,
426
+ color: ui.diff.deletedForeground,
427
+ padding: generalDiff.insertedLinePadding,
428
+ borderRadius: generalDiff.borderRadius,
429
+ border: ui.diff.deletedBorder,
430
+ },
431
+ ':where(.cm-deletedChunk) del .cm-deletedText, :where(.cm-deletedChunk) del .cm-changedText, del:where(.cm-deletedLine) .cm-deletedText, del:where(.cm-deletedLine) .cm-changedText': { background: 'transparent !important' },
432
+ '.cm-merge-b .cm-changedLine, .cm-inlineChangedLine': { backgroundColor: ui.diff.insertedBackground },
433
+ '.cm-merge-a .cm-changedLine, .cm-deletedChunk': { backgroundColor: ui.diff.deletedBackground },
434
+ '.cm-collapsedLines': {
435
+ background: ui.foldPlaceholder.background,
436
+ color: ui.foldPlaceholder.foreground,
437
+ },
438
+ '.cm-mergeSpacer': { background: ui.merge.backgroundColor },
439
+ '.cm-tooltip': {
440
+ backgroundColor: ui.tooltip.background,
441
+ color: ui.tooltip.foreground,
442
+ border: `${ui.outlineWidth} solid ${ui.tooltip.border}`,
443
+ borderRadius: generalTooltip.borderRadius,
444
+ padding: generalTooltip.padding,
445
+ boxShadow: ui.tooltip.shadow,
446
+ },
447
+ '.cm-tooltip-autocomplete > ul': { backgroundColor: ui.tooltip.listBackground, border: ui.tooltip.listBorder },
448
+ '.cm-tooltip-autocomplete > ul > li': { padding: generalTooltip.padding, lineHeight: generalTooltip.lineHeight },
449
+ '.cm-tooltip-autocomplete > ul > li:hover': { backgroundColor: ui.tooltip.hoverBackground },
450
+ '.cm-tooltip-autocomplete > ul > li[aria-selected]': {
451
+ backgroundColor: ui.tooltip.selectedBackground,
452
+ color: ui.tooltip.selectedForeground,
453
+ border: ui.tooltip.selectedBorder,
454
+ borderRadius: generalTooltip.borderRadiusSelected,
455
+ },
456
+ '.cm-tooltip-autocomplete > ul > li > span.cm-completionIcon': {
457
+ color: ui.tooltip.icon,
458
+ paddingRight: generalTooltip.paddingRight,
459
+ },
460
+ '.cm-tooltip-autocomplete > ul > li > span.cm-completionDetail': { color: ui.tooltip.detail, fontStyle: 'italic' },
461
+ '.cm-completionMatchedText': {
462
+ color: 'inherit',
463
+ fontWeight: 'bold',
464
+ textDecoration: 'underline',
465
+ textDecorationColor: ui.matchingBracket.outline,
466
+ },
467
+ '.cm-completionInfo': {
468
+ backgroundColor: ui.tooltip.background,
469
+ color: ui.tooltip.foreground,
470
+ border: `${ui.outlineWidth} solid ${ui.tooltip.border}`,
471
+ padding: generalTooltip.padding,
472
+ },
473
+ '.cm-tooltip .cm-tooltip-arrow:before': { borderTopColor: 'transparent', borderBottomColor: 'transparent' },
474
+ '.cm-tooltip .cm-tooltip-arrow:after': {
475
+ borderTopColor: ui.tooltip.background,
476
+ borderBottomColor: ui.tooltip.background,
477
+ },
478
+ '.cm-tooltip-lint': { color: ui.tooltip.foreground, padding: '0' },
479
+ '.cm-tooltip-section:not(:first-child)': { borderTop: `1px solid ${ui.tooltip.border}` },
480
+ '.cm-diagnostic-error': {
481
+ borderLeft: `${ui.diagnostic.borderWidth} solid ${ui.diagnostic.error}`,
482
+ backgroundColor: ui.diagnostic.errorBackground,
483
+ },
484
+ '.cm-diagnostic-warning': {
485
+ borderLeft: `${ui.diagnostic.borderWidth} solid ${ui.diagnostic.warning}`,
486
+ backgroundColor: ui.diagnostic.warningBackground,
487
+ },
488
+ '.cm-diagnostic-info': {
489
+ borderLeft: `${ui.diagnostic.borderWidth} solid ${ui.diagnostic.info}`,
490
+ backgroundColor: ui.diagnostic.infoBackground,
491
+ },
492
+ '.cm-diagnostic-hint': { borderLeft: `${ui.diagnostic.borderWidth} solid ${ui.diagnostic.hint}` },
493
+ '.cm-diagnosticAction': {
494
+ backgroundColor: ui.panel.buttonBackground,
495
+ color: ui.panel.buttonForeground,
496
+ border: ui.panel.buttonBorder,
497
+ borderRadius: generalPanel.borderRadius,
498
+ },
499
+ '.cm-lintRange-error': { backgroundImage: lintUnderline(ui.diagnostic.error) },
500
+ '.cm-lintRange-warning': { backgroundImage: lintUnderline(ui.diagnostic.warning) },
501
+ '.cm-lintRange-info': { backgroundImage: lintUnderline(ui.diagnostic.info) },
502
+ '.cm-lintRange-hint': { backgroundImage: lintUnderline(ui.diagnostic.hint) },
503
+ '.cm-lintPoint-error': { borderBottom: `${ui.diagnostic.underlineWidth} wavy ${ui.diagnostic.error}` },
504
+ '.cm-lintPoint-warning': { borderBottom: `${ui.diagnostic.underlineWidth} wavy ${ui.diagnostic.warning}` },
505
+ '.cm-lintPoint-info': { borderBottom: `${ui.diagnostic.underlineWidth} wavy ${ui.diagnostic.info}` },
506
+ '.cm-matchingBracket': {
507
+ backgroundColor: ui.matchingBracket.background,
508
+ outline: `${ui.outlineWidth} solid ${ui.matchingBracket.outline}`,
509
+ borderRadius: generalMatching.borderRadius,
510
+ boxShadow: ui.matchingBracket.shadow,
511
+ },
512
+ '.cm-nonmatchingBracket': {
513
+ backgroundColor: ui.nonMatchingBracket.background,
514
+ outline: `${ui.outlineWidth} solid ${ui.nonMatchingBracket.outline}`,
515
+ borderRadius: generalMatching.borderRadius,
516
+ },
517
+ '.cm-selectionMatch': {
518
+ backgroundColor: ui.selectionMatch.background,
519
+ outline: `${ui.outlineWidth} solid ${ui.selectionMatch.outline}`,
520
+ borderRadius: generalMatching.borderRadius,
521
+ },
522
+ '.cm-snippetField': {
523
+ backgroundColor: ui.selectionMatch.background,
524
+ outline: `1px dashed ${ui.selectionMatch.outline}`,
525
+ borderRadius: generalMatching.borderRadius,
526
+ },
527
+ '.cm-snippetFieldPosition': { borderLeft: `1px dotted ${ui.cursor}` },
528
+ '.cm-foldPlaceholder': {
529
+ backgroundColor: ui.foldPlaceholder.background,
530
+ color: ui.foldPlaceholder.foreground,
531
+ border: `${ui.outlineWidth} ${ui.foldPlaceholder.borderStyle} ${ui.foldPlaceholder.border}`,
532
+ borderRadius: generalPlaceholder.borderRadius,
533
+ padding: generalPlaceholder.padding,
534
+ margin: generalPlaceholder.margin,
535
+ },
536
+ // Transparent outline: invisible normally, repainted with the system color in forced-colors mode (drops box-shadow).
537
+ '&.cm-focused': { outline: '2px solid transparent', boxShadow: ui.focusRing },
538
+ '& .cm-scroller::-webkit-scrollbar': { width: generalScroller.width, height: generalScroller.height },
539
+ '& .cm-scroller::-webkit-scrollbar-track': { background: ui.scrollbar.track, border: ui.scrollbar.trackBorder },
540
+ '& .cm-scroller::-webkit-scrollbar-thumb': {
541
+ backgroundColor: ui.scrollbar.thumb,
542
+ borderRadius: generalScroller.borderRadius,
543
+ border: ui.scrollbar.thumbBorder,
544
+ },
545
+ '& .cm-scroller::-webkit-scrollbar-thumb:hover': {
546
+ backgroundColor: ui.scrollbar.thumbHover,
547
+ boxShadow: ui.scrollbar.thumbHoverShadow,
548
+ },
549
+ '.cm-ghostText': { opacity: ui.ghostTextOpacity, color: ui.ghostText },
550
+ '.cm-placeholder': { color: ui.ghostText },
551
+ '.cm-specialChar': { color: ui.specialChar },
552
+ '.cm-trailingSpace': { backgroundColor: ui.diff.deletedBackground },
553
+ '.cm-highlightSpace': {
554
+ backgroundImage: `radial-gradient(circle at 50% 55%, ${ui.gutter.foreground} 20%, transparent 0)`,
555
+ },
556
+ '.cm-crosshair': { cursor: 'crosshair' },
557
+ };
558
+ }
559
+ /** Drops `null` declarations and selectors left without declarations. */
560
+ function emittedRules(spec) {
561
+ const result = {};
562
+ for (const [selector, declarations] of Object.entries(spec)) {
563
+ const emitted = Object.entries(declarations).filter((entry) => entry[1] !== null);
564
+ if (emitted.length > 0)
565
+ result[selector] = Object.fromEntries(emitted);
566
+ }
567
+ return result;
568
+ }
569
+ /** Style of a role, falling back through `ROLE_PARENTS` for omitted fine roles. */
570
+ function resolveRole(syntax, role) {
571
+ let current = role;
572
+ while (current) {
573
+ const style = syntax[current];
574
+ if (style)
575
+ return style;
576
+ current = ROLE_PARENTS[current];
577
+ }
578
+ return {};
579
+ }
580
+ /** Highlight rules of a theme: one rule per entry of the canonical table. */
581
+ function highlightRules(definition) {
582
+ return SYNTAX_TAGS.map(([role, tagList]) => (Object.assign({ tag: [...tagList] }, resolveRole(definition.syntax, role))));
583
+ }
584
+ /** Builds the editor theme, the syntax highlighting and the merge view styles of a theme definition. */
585
+ function defineTheme(definition) {
586
+ const theme = view.EditorView.theme(emittedRules(uiTemplate(definition.ui)), { dark: definition.dark });
587
+ const highlightStyle = language.HighlightStyle.define(highlightRules(definition));
588
+ return {
589
+ extension: [theme, language.syntaxHighlighting(highlightStyle)],
590
+ theme,
591
+ highlightStyle,
592
+ mergeStyles: Object.assign({}, definition.ui.merge),
593
+ };
594
+ }
595
+
109
596
  /**
110
597
  * Enhanced GitHub Dark theme color definitions
111
598
  * -------------------------------------------
@@ -115,7 +602,7 @@ function applyMergeRevertStyles(styles) {
115
602
  const base00 = '#0d1117', // Background (GitHub dark mode background)
116
603
  base01 = '#c9d1d9', // Foreground (main text color)
117
604
  base02 = '#264F78', // Selection - brighter blue for better visibility
118
- base03 = '#8b949e', // Comment and Bracket color
605
+ base03 = '#8d96a0', // Comment and Bracket color
119
606
  base04 = '#ffffff', // Caret color (pure white for better visibility,
120
607
  // Syntax highlighting colors
121
608
  base05 = '#7ee787', // TagName, Name, Quote - signature GitHub green
@@ -133,9 +620,6 @@ base0F = '#21262d'; // Active line gutter background
133
620
  // UI-specific colors
134
621
  const invalid = '#f97583', // Invalid color - error red
135
622
  highlightBackground = '#2d333b1a', // Line highlight (GitHub selection color)
136
- tooltipBackground = '#21262d', // Tooltip background
137
- cursor = base04, // Caret color
138
- selection = base02, // Selection color
139
623
  activeBracketBg = '#3a587a75', // Active bracket background
140
624
  activeBracketBorder = '#4d90fe', // Active bracket border
141
625
  diagnosticWarning = '#d29922', // Warning color
@@ -144,382 +628,176 @@ linkColor = '#58a6ff', // Bright blue for links (GitHub link color)
144
628
  visitedLinkColor = '#bc8cff'; // Light purple for visited links
145
629
  // Diff/merge specific colors
146
630
  const addedBackground = '#2ea04350', // GitHub green with transparency
147
- removedBackground = '#f8514940', // GitHub red with transparency
148
- addedText = '#7ee787', // GitHub green for added text
149
- removedText = '#ff7b72'; // GitHub red for removed text
150
- /**
151
- * Enhanced editor theme styles for GitHub Dark
152
- */
153
- const githubDarkTheme = view.EditorView.theme({
154
- // Base editor styles
155
- '&': {
156
- color: base01,
157
- backgroundColor: base00,
158
- fontSize: generalContent.fontSize,
159
- fontFamily: generalContent.fontFamily,
160
- },
161
- // Content and cursor
162
- '.cm-content': {
163
- caretColor: cursor,
164
- lineHeight: generalContent.lineHeight,
165
- },
166
- '.cm-cursor, .cm-dropCursor': {
167
- borderLeftColor: cursor,
168
- borderLeftWidth: generalCursor.borderLeftWidth,
169
- },
170
- '.cm-fat-cursor': {
171
- backgroundColor: `${cursor}99`,
172
- color: base00,
173
- },
174
- // Selection
175
- '&.cm-focused > .cm-scroller > .cm-selectionLayer .cm-selectionBackground, .cm-selectionBackground, .cm-content ::selection': {
176
- backgroundColor: selection,
177
- },
178
- // Make sure selection appears above active line
179
- '.cm-selectionLayer': {
180
- zIndex: 100,
181
- },
182
- // Search functionality
183
- '.cm-searchMatch': {
184
- backgroundColor: '#3a587a',
185
- outline: `1px solid ${base07}`,
186
- color: base01,
187
- borderRadius: generalSearchField.borderRadius,
188
- '& span': {
189
- color: base01,
631
+ removedBackground = '#f8514940'; // GitHub red with transparency
632
+ const theme = defineTheme({
633
+ dark: true,
634
+ ui: {
635
+ background: base00,
636
+ foreground: base01,
637
+ border: 'none',
638
+ cursor: base04,
639
+ cursorWidth: '2px',
640
+ cursorShadow: 'none',
641
+ fatCursor: { background: `${base04}99`, border: 'none' },
642
+ selection: '#032f56',
643
+ selectionInactive: '#032f56',
644
+ selectionForeground: null,
645
+ selectionOutline: 'none',
646
+ activeLine: highlightBackground,
647
+ activeLineBorder: { left: 'none', right: 'none' },
648
+ ghostText: base03,
649
+ ghostTextOpacity: '0.5',
650
+ specialChar: invalid,
651
+ focusRing: `0 0 0 2px ${base00}, 0 0 0 4px ${linkColor}`,
652
+ outlineWidth: '1px',
653
+ searchMatch: {
654
+ background: '#3a587a',
655
+ outline: base07,
656
+ foreground: base01,
657
+ shadow: 'none',
658
+ selectedBackground: activeBracketBorder,
659
+ selectedForeground: base04,
660
+ selectedOutline: `1px solid ${base07}`,
661
+ selectedShadow: 'none',
190
662
  },
191
- },
192
- '.cm-searchMatch.cm-searchMatch-selected': {
193
- backgroundColor: activeBracketBorder,
194
- color: base04,
195
- padding: generalSearchField.padding,
196
- '& span': {
197
- color: base04,
663
+ selectionMatch: { background: selectionMatch, outline: `${base02}50` },
664
+ matchingBracket: { background: activeBracketBg, outline: activeBracketBorder, shadow: 'none' },
665
+ nonMatchingBracket: { background: `${invalid}40`, outline: invalid },
666
+ panel: {
667
+ background: base0F,
668
+ foreground: base01,
669
+ border: base0E,
670
+ borderWidth: '1px',
671
+ outline: 'none',
672
+ shadow: 'none',
673
+ buttonBackground: base0F,
674
+ buttonForeground: base01,
675
+ buttonBorder: 'none',
676
+ buttonHoverBackground: base0A,
677
+ buttonHoverForeground: base01,
678
+ buttonHoverBorder: 'none',
679
+ buttonHoverShadow: 'none',
680
+ inputBackground: base00,
681
+ inputBorder: `1px solid ${base0E}`,
198
682
  },
199
- },
200
- '.cm-search.cm-panel.cm-textfield': {
201
- color: base01,
202
- borderRadius: generalSearchField.borderRadius,
203
- padding: generalSearchField.padding,
204
- },
205
- // Panels
206
- '.cm-panels': {
207
- backgroundColor: tooltipBackground,
208
- color: base01,
209
- borderRadius: '4px',
210
- },
211
- '.cm-panels.cm-panels-top': {
212
- borderBottom: `1px solid ${base0E}`,
213
- },
214
- '.cm-panels.cm-panels-bottom': {
215
- borderTop: `1px solid ${base0E}`,
216
- },
217
- '.cm-panel button': {
218
- backgroundColor: tooltipBackground,
219
- color: base01,
220
- border: generalPanel.border,
221
- borderRadius: generalPanel.borderRadius,
222
- padding: generalPanel.padding,
223
- },
224
- '.cm-panel button:hover': {
225
- backgroundColor: base0A,
226
- },
227
- // Line highlighting
228
- '.cm-activeLine': {
229
- backgroundColor: highlightBackground,
230
- borderRadius: generalLine.borderRadius,
231
- zIndex: 1,
232
- },
233
- // Gutters
234
- '.cm-gutters': {
235
- backgroundColor: base0D,
236
- color: base03,
237
- border: generalGutter.border,
238
- borderRight: '1px solid #30363d',
239
- paddingRight: generalGutter.paddingRight,
240
- },
241
- '.cm-activeLineGutter': {
242
- backgroundColor: base0F,
243
- color: base01,
244
- fontWeight: generalGutter.fontWeight,
245
- },
246
- '.cm-lineNumbers': {
247
- fontSize: generalGutter.fontSize,
248
- lineHeight: generalGutter.lineHeight,
249
- },
250
- '.cm-foldGutter': {
251
- fontSize: generalGutter.fontSize,
252
- lineHeight: generalGutter.lineHeight,
253
- },
254
- '.cm-foldGutter .cm-gutterElement': {
255
- color: base03,
256
- cursor: 'pointer',
257
- },
258
- '.cm-foldGutter .cm-gutterElement:hover': {
259
- color: base01,
260
- },
261
- // Diff/Merge View Styles
262
- // Inserted/Added Content
263
- '.cm-insertedLine': {
264
- textDecoration: generalDiff.insertedTextDecoration,
265
- backgroundColor: addedBackground,
266
- color: addedText,
267
- padding: generalDiff.insertedLinePadding,
268
- borderRadius: generalDiff.borderRadius,
269
- },
270
- 'ins.cm-insertedLine, ins.cm-insertedLine:not(:has(.cm-changedText))': {
271
- textDecoration: generalDiff.insertedTextDecoration,
272
- backgroundColor: `${addedBackground} !important`,
273
- color: addedText,
274
- padding: generalDiff.insertedLinePadding,
275
- borderRadius: generalDiff.borderRadius,
276
- border: `1px solid ${addedText}40`,
277
- },
278
- 'ins.cm-insertedLine .cm-changedText': {
279
- background: 'transparent !important',
280
- },
281
- // Deleted/Removed Content
282
- '.cm-deletedLine': {
283
- textDecoration: generalDiff.deletedTextDecoration,
284
- backgroundColor: removedBackground,
285
- color: removedText,
286
- padding: generalDiff.insertedLinePadding,
287
- borderRadius: generalDiff.borderRadius,
288
- },
289
- 'del.cm-deletedLine, del, del:not(:has(.cm-deletedText))': {
290
- textDecoration: generalDiff.deletedTextDecoration,
291
- backgroundColor: `${removedBackground} !important`,
292
- color: removedText,
293
- padding: generalDiff.insertedLinePadding,
294
- borderRadius: generalDiff.borderRadius,
295
- border: `1px solid ${removedText}40`,
296
- },
297
- 'del .cm-deletedText, del .cm-changedText': {
298
- background: 'transparent !important',
299
- },
300
- // Tooltips and autocomplete
301
- '.cm-tooltip': {
302
- backgroundColor: tooltipBackground,
303
- border: `1px solid ${base0E}`,
304
- borderRadius: generalTooltip.borderRadius,
305
- padding: generalTooltip.padding,
306
- boxShadow: '0 2px 8px rgba(0, 0, 0, 0.3)',
307
- },
308
- '.cm-tooltip-autocomplete': {
309
- '& > ul': {
310
- backgroundColor: tooltipBackground,
311
- border: 'none',
683
+ gutter: {
684
+ background: base0D,
685
+ foreground: base03,
686
+ border: base0E,
687
+ activeBackground: base0F,
688
+ activeForeground: base01,
689
+ activeFontWeight: '500',
690
+ activeBorder: 'none',
691
+ foldHover: base01,
312
692
  },
313
- '& > ul > li': {
314
- padding: generalTooltip.padding,
315
- lineHeight: generalTooltip.lineHeight,
693
+ foldPlaceholder: { background: base0F, foreground: base03, border: `${base0E}70`, borderStyle: 'dotted' },
694
+ tooltip: {
695
+ background: base0F,
696
+ foreground: base01,
697
+ border: base0E,
698
+ shadow: '0 2px 8px rgba(0, 0, 0, 0.3)',
699
+ listBackground: base0F,
700
+ listBorder: 'none',
701
+ hoverBackground: 'transparent',
702
+ selectedBackground: base02,
703
+ selectedForeground: base04,
704
+ selectedBorder: 'none',
705
+ icon: base03,
706
+ detail: base03,
316
707
  },
317
- '& > ul > li[aria-selected]': {
318
- backgroundColor: selection,
319
- color: base04,
320
- borderRadius: generalTooltip.borderRadiusSelected,
708
+ diff: {
709
+ insertedBackground: addedBackground,
710
+ insertedForeground: base05,
711
+ insertedBorder: `1px solid ${base05}40`,
712
+ deletedBackground: removedBackground,
713
+ deletedForeground: base08,
714
+ deletedBorder: `1px solid ${base08}40`,
321
715
  },
322
- '& > ul > li > span.cm-completionIcon': {
323
- color: base03,
324
- paddingRight: generalTooltip.paddingRight,
716
+ diagnostic: {
717
+ error: invalid,
718
+ warning: diagnosticWarning,
719
+ info: linkColor,
720
+ hint: linkColor,
721
+ errorBackground: 'transparent',
722
+ warningBackground: 'transparent',
723
+ infoBackground: 'transparent',
724
+ borderWidth: '3px',
725
+ underlineWidth: '2px',
325
726
  },
326
- '& > ul > li > span.cm-completionDetail': {
327
- color: base03,
328
- fontStyle: 'italic',
727
+ scrollbar: {
728
+ track: base0D,
729
+ trackBorder: 'none',
730
+ thumb: base0E,
731
+ thumbBorder: `3px solid ${base0D}`,
732
+ thumbHover: base0B,
733
+ thumbHoverShadow: 'none',
329
734
  },
330
- },
331
- '.cm-tooltip .cm-tooltip-arrow:before': {
332
- borderTopColor: 'transparent',
333
- borderBottomColor: 'transparent',
334
- },
335
- '.cm-tooltip .cm-tooltip-arrow:after': {
336
- borderTopColor: tooltipBackground,
337
- borderBottomColor: tooltipBackground,
338
- },
339
- // Diagnostics styling
340
- '.cm-diagnostic': {
341
- '&-error': {
342
- borderLeft: `3px solid ${invalid}`,
735
+ merge: {
736
+ backgroundColor: base0F,
737
+ borderColor: base0E,
738
+ buttonColor: base01,
739
+ buttonHoverColor: base0A,
343
740
  },
344
- '&-warning': {
345
- borderLeft: `3px solid ${diagnosticWarning}`,
741
+ },
742
+ syntax: {
743
+ keyword: { color: base08, fontWeight: 'bold' },
744
+ definitionKeyword: { color: base08 },
745
+ modifier: { color: base0C, fontStyle: 'italic' },
746
+ functionDefinition: { color: base07 },
747
+ operator: { color: base01 },
748
+ punctuation: { color: base03 },
749
+ name: { color: base07 },
750
+ function: { color: base05 },
751
+ self: { color: base0C },
752
+ label: { color: base05 },
753
+ property: { color: base06, fontStyle: 'normal' },
754
+ type: { color: base08 },
755
+ typeDefinition: { color: base08, fontWeight: 'bold' },
756
+ className: { color: base06, fontStyle: 'italic' },
757
+ namespace: { color: base07, fontStyle: 'italic' },
758
+ tag: { color: base05 },
759
+ attribute: { color: base06 },
760
+ content: { color: base01 },
761
+ string: { color: base09 },
762
+ number: { color: base0C },
763
+ constant: { color: base0C },
764
+ comment: { fontStyle: 'italic', color: base03 },
765
+ meta: { color: base03 },
766
+ processingInstruction: { color: base05 },
767
+ annotation: { color: invalid, fontStyle: 'italic' },
768
+ heading: { fontWeight: 'bold', color: base07 },
769
+ headingLevel: { color: base07 },
770
+ quote: { color: base03 },
771
+ monospace: { color: base01 },
772
+ contentSeparator: { color: base07 },
773
+ link: {
774
+ color: visitedLinkColor,
775
+ fontWeight: '500',
776
+ textDecoration: 'underline',
777
+ textUnderlinePosition: 'under',
346
778
  },
347
- '&-info': {
348
- borderLeft: `3px solid ${linkColor}`,
779
+ url: { color: linkColor, textDecoration: 'underline', textUnderlineOffset: '2px' },
780
+ emphasis: { fontStyle: 'italic', color: base09 },
781
+ strong: { fontWeight: 'bold', color: base07 },
782
+ strikethrough: { color: invalid, textDecoration: 'line-through' },
783
+ invalid: {
784
+ color: base01,
785
+ textDecoration: 'underline wavy',
786
+ borderBottom: `1px wavy ${invalid}`,
349
787
  },
788
+ inserted: { color: base05 },
789
+ deleted: { color: invalid },
790
+ changed: { color: base0C },
350
791
  },
351
- '.cm-lintPoint-error': {
352
- borderBottom: `2px wavy ${invalid}`,
353
- },
354
- '.cm-lintPoint-warning': {
355
- borderBottom: `2px wavy ${diagnosticWarning}`,
356
- },
357
- // Matching brackets
358
- '.cm-matchingBracket': {
359
- backgroundColor: activeBracketBg,
360
- outline: `1px solid ${activeBracketBorder}`,
361
- borderRadius: generalMatching.borderRadius,
362
- },
363
- '.cm-nonmatchingBracket': {
364
- backgroundColor: '#f9758340',
365
- outline: `1px solid ${invalid}`,
366
- borderRadius: generalMatching.borderRadius,
367
- },
368
- // Selection matches
369
- '.cm-selectionMatch': {
370
- backgroundColor: selectionMatch,
371
- outline: `1px solid ${base02}50`,
372
- borderRadius: generalMatching.borderRadius,
373
- },
374
- // Fold placeholder
375
- '.cm-foldPlaceholder': {
376
- backgroundColor: tooltipBackground,
377
- color: base03,
378
- border: `1px dotted ${base0E}70`,
379
- borderRadius: generalPlaceholder.borderRadius,
380
- padding: generalPlaceholder.padding,
381
- margin: generalPlaceholder.margin,
382
- },
383
- // Focus outline
384
- '&.cm-focused': {
385
- outline: 'none',
386
- boxShadow: `0 0 0 2px ${base00}, 0 0 0 3px ${linkColor}40`,
387
- },
388
- // Scrollbars
389
- '& .cm-scroller::-webkit-scrollbar': {
390
- width: generalScroller.width,
391
- height: generalScroller.height,
392
- },
393
- '& .cm-scroller::-webkit-scrollbar-track': {
394
- background: base0D,
395
- },
396
- '& .cm-scroller::-webkit-scrollbar-thumb': {
397
- backgroundColor: base0E,
398
- borderRadius: generalScroller.borderRadius,
399
- border: `3px solid ${base0D}`,
400
- },
401
- '& .cm-scroller::-webkit-scrollbar-thumb:hover': {
402
- backgroundColor: base0B,
403
- },
404
- // Ghost text
405
- '.cm-ghostText': {
406
- opacity: '0.5',
407
- color: base03,
408
- },
409
- }, { dark: true });
410
- /**
411
- * Enhanced syntax highlighting for GitHub Dark theme
412
- */
413
- const githubDarkHighlightStyle = language.HighlightStyle.define([
414
- // Keywords and control flow
415
- { tag: highlight.tags.keyword, color: base08, fontWeight: 'bold' },
416
- { tag: highlight.tags.controlKeyword, color: base08, fontWeight: 'bold' },
417
- { tag: highlight.tags.moduleKeyword, color: base08, fontWeight: 'bold' },
418
- // Names and variables
419
- { tag: [highlight.tags.name, highlight.tags.deleted, highlight.tags.character, highlight.tags.macroName], color: base07 },
420
- { tag: [highlight.tags.variableName], color: base07 },
421
- { tag: [highlight.tags.propertyName], color: base06, fontStyle: 'normal' },
422
- // Classes and types
423
- { tag: [highlight.tags.typeName], color: base08 },
424
- { tag: [highlight.tags.className], color: base06, fontStyle: 'italic' },
425
- { tag: [highlight.tags.namespace], color: base07, fontStyle: 'italic' },
426
- // Operators and punctuation
427
- { tag: [highlight.tags.operator, highlight.tags.operatorKeyword], color: base01 },
428
- { tag: [highlight.tags.bracket], color: base03 },
429
- { tag: [highlight.tags.brace], color: base03 },
430
- { tag: [highlight.tags.punctuation], color: base03 },
431
- // Functions and parameters
432
- { tag: [highlight.tags.function(highlight.tags.variableName), highlight.tags.labelName], color: base05 },
433
- { tag: [highlight.tags.definition(highlight.tags.variableName)], color: base07 },
434
- // Constants and literals
435
- { tag: highlight.tags.number, color: base0C },
436
- { tag: highlight.tags.changed, color: base0C },
437
- { tag: highlight.tags.annotation, color: invalid, fontStyle: 'italic' },
438
- { tag: highlight.tags.modifier, color: base0C, fontStyle: 'italic' },
439
- { tag: highlight.tags.self, color: base0C },
440
- { tag: [highlight.tags.color, highlight.tags.constant(highlight.tags.name), highlight.tags.standard(highlight.tags.name)], color: base0C },
441
- { tag: [highlight.tags.atom, highlight.tags.bool, highlight.tags.special(highlight.tags.variableName)], color: base0C },
442
- // Strings and regex
443
- { tag: [highlight.tags.processingInstruction, highlight.tags.inserted], color: base05 },
444
- { tag: [highlight.tags.special(highlight.tags.string), highlight.tags.regexp], color: base09 },
445
- { tag: highlight.tags.string, color: base09 },
446
- // Punctuation and structure
447
- { tag: highlight.tags.definition(highlight.tags.typeName), color: base08, fontWeight: 'bold' },
448
- // Comments and documentation
449
- { tag: highlight.tags.meta, color: base03 },
450
- { tag: highlight.tags.comment, fontStyle: 'italic', color: base03 },
451
- { tag: highlight.tags.docComment, fontStyle: 'italic', color: base03 },
452
- // HTML/XML elements
453
- { tag: [highlight.tags.tagName], color: base05 },
454
- { tag: [highlight.tags.attributeName], color: base06 },
455
- // Markdown and text formatting
456
- { tag: [highlight.tags.heading], fontWeight: 'bold', color: base07 },
457
- { tag: [highlight.tags.strong], fontWeight: 'bold', color: base07 },
458
- { tag: [highlight.tags.emphasis], fontStyle: 'italic', color: base09 },
459
- // Links and URLs
460
- {
461
- tag: [highlight.tags.link],
462
- color: visitedLinkColor,
463
- fontWeight: '500',
464
- textDecoration: 'underline',
465
- textUnderlinePosition: 'under',
466
- },
467
- {
468
- tag: [highlight.tags.url],
469
- color: linkColor,
470
- textDecoration: 'underline',
471
- textUnderlineOffset: '2px',
472
- },
473
- // Special states
474
- { tag: [highlight.tags.invalid], color: base01, textDecoration: 'underline wavy', borderBottom: `1px wavy ${invalid}` },
475
- { tag: [highlight.tags.strikethrough], color: invalid, textDecoration: 'line-through' },
476
- // Enhanced syntax highlighting
477
- { tag: highlight.tags.constant(highlight.tags.name), color: base0C },
478
- { tag: highlight.tags.deleted, color: invalid },
479
- { tag: highlight.tags.squareBracket, color: base03 },
480
- { tag: highlight.tags.angleBracket, color: base03 },
481
- // Additional specific styles
482
- { tag: highlight.tags.monospace, color: base01 },
483
- { tag: [highlight.tags.contentSeparator], color: base07 },
484
- { tag: highlight.tags.quote, color: base03 },
485
- { tag: highlight.tags.integer, color: base0C },
486
- { tag: highlight.tags.float, color: base0C },
487
- { tag: highlight.tags.null, color: base0C },
488
- { tag: highlight.tags.attributeValue, color: base09 },
489
- { tag: highlight.tags.escape, color: base09 },
490
- { tag: highlight.tags.paren, color: base03 },
491
- { tag: highlight.tags.lineComment, color: base03, fontStyle: 'italic' },
492
- { tag: highlight.tags.blockComment, color: base03, fontStyle: 'italic' },
493
- { tag: highlight.tags.definitionKeyword, color: base08 },
494
- { tag: highlight.tags.arithmeticOperator, color: base01 },
495
- { tag: highlight.tags.logicOperator, color: base01 },
496
- { tag: highlight.tags.compareOperator, color: base01 },
497
- { tag: highlight.tags.bitwiseOperator, color: base01 },
498
- { tag: highlight.tags.updateOperator, color: base01 },
499
- { tag: highlight.tags.derefOperator, color: base01 },
500
- { tag: highlight.tags.local(highlight.tags.variableName), color: base07 },
501
- { tag: highlight.tags.list, color: base07 },
502
- { tag: highlight.tags.unit, color: base0C },
503
- { tag: highlight.tags.heading1, color: base07 },
504
- { tag: highlight.tags.heading2, color: base07 },
505
- { tag: highlight.tags.heading3, color: base07 },
506
- { tag: highlight.tags.heading4, color: base07 },
507
- { tag: highlight.tags.heading5, color: base07 },
508
- { tag: highlight.tags.heading6, color: base07 },
509
- ]);
792
+ });
510
793
  /**
511
794
  * Combined GitHub Dark theme extension
512
795
  */
513
- const githubDark = [githubDarkTheme, language.syntaxHighlighting(githubDarkHighlightStyle)];
796
+ const githubDark = theme.extension;
514
797
  /**
515
798
  * GitHub Dark merge revert styles configuration
516
799
  */
517
- const githubDarkMergeStyles = {
518
- backgroundColor: tooltipBackground,
519
- borderColor: base0E,
520
- buttonColor: base01,
521
- buttonHoverColor: base0A,
522
- };
800
+ const githubDarkMergeStyles = theme.mergeStyles;
523
801
 
524
802
  exports.applyMergeRevertStyles = applyMergeRevertStyles;
525
803
  exports.githubDark = githubDark;