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; }