CodeBlock: Fix issues with stg lang codeblocks

MrTipson · Jul 11, 2024 · 03e94f9 · 03e94f9
1 parent 676107a
commit 03e94f9
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 5 deletions.
diff --git a/src/components/CodeBlock.astro b/src/components/CodeBlock.astro
@@ -47,11 +47,13 @@ function highlightSTG(program: string) {
 	<div class="relative flex bg-muted/50">
 		{
 			isStgLang ? (
-				<pre>
-					<code set:html={highlightSTG(code)} />
-				</pre>
+				<pre class="codeBlock"><code set:html={highlightSTG(code)} /></pre>
 			) : (
-				<Code code={code} lang={lang || 'plaintext'} class="codeBlock" />
+				<Code
+					code={code}
+					lang={lang || "plaintext"}
+					class="codeBlock"
+				/>
 			)
 		}
 		<Button size={"icon"} variant={"outline"} className="copyCode">

diff --git a/src/components/MdMachine.tsx b/src/components/MdMachine.tsx
@@ -16,7 +16,8 @@ export function MdMachine({ children, program, step, garbage_collection, eval_ap
 	const settings: STGSettings = {
 		garbage_collection: garbage_collection,
 		eval_apply: eval_apply,
-		collapse_indirections: collapse_indirections
+		collapse_indirections: collapse_indirections,
+		run_limit: 1 // should not matter since machine isn't run
 	}
 	while (step > machine.step_number && machine.step());
 	const str = (children as React.ReactElement).props.value;