From 1e1e62e1fba3ab0bc5b241e3f96ef3a639ba088b Mon Sep 17 00:00:00 2001
From: Robin Schreiber <robin.schreiber@me.com>
Date: Mon, 29 Jul 2024 14:51:00 +0200
Subject: [PATCH] =?UTF-8?q?=F0=9F=A7=B0:=20run=20highlighting=20code=20aft?=
 =?UTF-8?q?er=20html=20export=20of=20markdown?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 lively.ide/md/morphs.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lively.ide/md/morphs.js b/lively.ide/md/morphs.js
index bc316c754..4556cfe18 100644
--- a/lively.ide/md/morphs.js
+++ b/lively.ide/md/morphs.js
@@ -292,7 +292,8 @@ export class MarkdownPreviewMorph extends HTMLMorph {
 
       this.submorphs = [];
       this.env.forceUpdate(this);
-      this.html = ed.editorPlugin.renderedMarkdown();
+      this.html = ed.editorPlugin.renderedMarkdown(markdownOptions);
+      setTimeout(() => hljs.highlightAll());
     } else {
       const blocks = [];
       const exprSerializer = new ExpressionSerializer();