Remove duplicate t.separator

hasparus · hasparus · commit 234587fbdfc5 · 2025-09-01T16:40:14.000+02:00
diff --git a/src/components/interactive-code-block/codemirror-theme.tsx b/src/components/interactive-code-block/codemirror-theme.tsx
@@ -89,7 +89,7 @@ export const syntaxTheme = HighlightStyle.define([
   },
   { tag: [t.function(t.variableName), t.labelName], class: "cm-variable" },
   { tag: [t.color, t.constant(t.name), t.standard(t.name)], class: "cm-atom" },
-  { tag: [t.definition(t.name), t.separator], class: "cm-def" },
+  { tag: [t.definition(t.name)], class: "cm-def" },
   {
     tag: [
       t.typeName,

Original file line number	Diff line number	Diff line change
`@@ -89,7 +89,7 @@ export const syntaxTheme = HighlightStyle.define([`
`89`	`89`	`},`
`90`	`90`	`{ tag: [t.function(t.variableName), t.labelName], class: "cm-variable" },`
`91`	`91`	`{ tag: [t.color, t.constant(t.name), t.standard(t.name)], class: "cm-atom" },`
`92`		`- { tag: [t.definition(t.name), t.separator], class: "cm-def" },`
	`92`	`+ { tag: [t.definition(t.name)], class: "cm-def" },`
`93`	`93`	`{`
`94`	`94`	`tag: [`
`95`	`95`	`t.typeName,`