Fix an incorrect node name in the PGML highlighting.

openwebwork · Oct 15, 2024 · f9139d1 · f9139d1
1 parent 691c32a
commit f9139d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/pgml.ts b/src/pgml.ts
@@ -412,7 +412,7 @@ export const pgmlHighlighting = styleTags({
     'AlignMark CodeMark EmphasisMark HeaderMark ImageMark ListMark MathModeMark OptionMark': t.processingInstruction,
     'PreMark PerlCommandMark TableMark TableCellMark TagMark VariableMark VerbatimMark': t.processingInstruction,
     CodeText: t.monospace,
-    CodeInfo: t.labelName,
+    CodeClass: t.labelName,
     HorizontalRule: t.contentSeparator,
     EscapeSequence: t.escape,
     'AnswerRule Image MathMode': t.atom,