tweak error display css

fonsp · Aug 10, 2024 · ecdb1ae · ecdb1ae
1 parent 3c55edf
commit ecdb1ae
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git 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`<p>${line}</p>`),
+        display: (/** @type{string} */ x) => _.dropRightWhile(x.split("\n"), (s) => s === "").map((line) => html`<p>${line === "" ? html`<br />` : line}</p>`),
     }
     const rewriters = [
         {

diff --git 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
@@ -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