From ecdb1aefff09cef3a2e53b702b5ab8b08779e3ae Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Sat, 10 Aug 2024 11:38:20 +0200 Subject: [PATCH] tweak error display css --- frontend/components/ErrorMessage.js | 2 +- frontend/treeview.css | 5 ++++- src/packages/PkgCompat.jl | 2 +- 3 files changed, 6 insertions(+), 3 deletions(-) diff --git a/frontend/components/ErrorMessage.js b/frontend/components/ErrorMessage.js index 91ae58bb13..5f6c4d8be2 100644 --- a/frontend/components/ErrorMessage.js +++ b/frontend/components/ErrorMessage.js @@ -161,7 +161,7 @@ export const ErrorMessage = ({ msg, stacktrace, cell_id }) => { let pluto_actions = useContext(PlutoActionsContext) const default_rewriter = { pattern: /.?/, - display: (/** @type{string} */ x) => x.split("\n").map((line) => html`

${line}

`), + display: (/** @type{string} */ x) => _.dropRightWhile(x.split("\n"), (s) => s === "").map((line) => html`

${line === "" ? html`
` : line}

`), } const rewriters = [ { diff --git a/frontend/treeview.css b/frontend/treeview.css index a668c4f9de..403f65eb2b 100644 --- a/frontend/treeview.css +++ b/frontend/treeview.css @@ -241,7 +241,7 @@ pluto-tree p-r pre { jlerror { font-size: 0.75rem; - font-family: "Roboto Mono", monospace; + font-family: var(--julia-mono-font-stack); } jlerror { display: block; @@ -257,9 +257,12 @@ jlerror > header { color: var(--jlerror-header-color); border-left: 3px solid var(--jlerror-header-color); padding: 0.7rem; + background: var(--white); + border-radius: 3px; } jlerror > header > p { margin-block-end: 0.2em; + white-space: pre-wrap; } jlerror > header > p:first-child { font-weight: bold; diff --git a/src/packages/PkgCompat.jl b/src/packages/PkgCompat.jl index 841c46f3dc..be75575159 100644 --- a/src/packages/PkgCompat.jl +++ b/src/packages/PkgCompat.jl @@ -278,7 +278,7 @@ is_stdlib(package_name::AbstractString) = package_name ∈ _stdlibs() # Initial fill of registry cache -function __init__() +function __init__() refresh_registry_cache() global global_ctx=PkgContext() end