From d9ca175c4740f8fee0df02d22a2db25779f22cf1 Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Fri, 11 Oct 2024 14:38:19 +0200 Subject: [PATCH] Julia 1.11 fix UndefVarError --- frontend/components/ErrorMessage.js | 2 +- frontend/hide-ui.css | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/frontend/components/ErrorMessage.js b/frontend/components/ErrorMessage.js index c7e053bf8..8e19cc3fc 100644 --- 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 index 36085469f..211025930 100644 --- 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; }