Julia 1.11 fix UndefVarError

fonsp · Oct 11, 2024 · d9ca175 · d9ca175
1 parent 0d3f44d
commit d9ca175
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/frontend/components/ErrorMessage.js b/frontend/components/ErrorMessage.js
@@ -401,7 +401,7 @@ export const ErrorMessage = ({ msg, stacktrace, cell_id }) => {
             display: () => default_rewriter.display("Error"),
         },
         {
-            pattern: /^UndefVarError: (.*) not defined\.?$/,
+            pattern: /^UndefVarError: (.*) not defined/,
             display: (/** @type{string} */ x) => {
                 const notebook = /** @type{import("./Editor.js").NotebookData?} */ (pluto_actions.get_notebook())
                 const erred_upstreams = get_erred_upstreams(notebook, cell_id)

diff --git a/frontend/hide-ui.css b/frontend/hide-ui.css
@@ -12,6 +12,8 @@ pluto-input > button,
 pluto-shoulder,
 footer,
 pluto-runarea,
+jlerror .doclink,
+.dont-panic,
 #helpbox-wrapper {
     display: none !important;
 }
@@ -28,7 +30,6 @@ pluto-runarea,
     .MJX_ToolTip,
     .MJX_HoverRegion,
     .MJX_LiveRegion,
-    .dont-panic,
     nav#undo_delete {
         display: none !important;
     }