Merge pull request #12 from JerryI/dev

fix css injection
JerryI · Oct 20, 2024 · ad8a811 · ad8a811
2 parents 2cd0fd9 + 743357d
commit ad8a811
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/src/FrontendRuntime.wl b/src/FrontendRuntime.wl
@@ -36,6 +36,10 @@ injectInRuntime[{"Modules", "js"}, data_List] := With[{notebooks = Values[Notebo
     WebUISubmit[ Global`UIHeadInject["js", data ], #["Socket"] ] &/@ notebooks;
 ]
 
+injectInRuntime[{"Modules", "css"}, data_List] := With[{notebooks = Values[Notebook`HashMap]},
+    WebUISubmit[ Global`UIHeadInject["css", data ], #["Socket"] ] &/@ notebooks;
+]
+
 EventHandler[NotebookEditorChannel // EventClone,
     {
         "RequestRuntimeExtensions" -> Function[assoc,

diff --git a/src/misc.js b/src/misc.js
@@ -89,6 +89,7 @@ core.UIHeadInject.css = async (args, env) => {
     data.forEach((el) => {
         const style = document.createElement('style');
         style.textContent = el;
+        console.log(el);
         document.head.appendChild(style);
     })
 }