popup: warn type

fonsp · Jul 17, 2023 · 0071ec1 · 0071ec1
1 parent c80464d
commit 0071ec1
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 4 deletions.
diff --git a/frontend/components/Editor.js b/frontend/components/Editor.js
@@ -846,7 +846,7 @@ patch: ${JSON.stringify(
                 // https://github.com/fonsp/Pluto.jl/issues/55
                 // https://github.com/fonsp/Pluto.jl/issues/2398
                 open_pluto_popup({
-                    type: "info",
+                    type: "warn",
                     source_element: null,
                     body: html`<p>A new server was started - this notebook session is no longer running.</p>
                         <p>Would you like to go back to the main menu?</p>

diff --git a/frontend/components/Popup.js b/frontend/components/Popup.js
@@ -26,7 +26,7 @@ export const help_circle_icon = new URL("https://cdn.jsdelivr.net/gh/ionic-team/
 
 /**
  * @typedef MiscPopupDetails
- * @property {string} type
+ * @property {"info" | "warn"} type
  * @property {import("../imports/Preact.js").ReactElement} body
  * @property {HTMLElement?} source_element
  */
@@ -95,6 +95,7 @@ export const Popup = ({ notebook, disable_input }) => {
     return html`<pluto-popup
         class=${cl({
             visible: recent_event != null,
+            [type ?? ""]: type != null,
         })}
         style="${pos_ref.current}"
     >
@@ -105,7 +106,7 @@ export const Popup = ({ notebook, disable_input }) => {
                   recent_event=${recent_event}
                   clear_recent_event=${() => set_recent_event(null)}
               />`
-            : type === "info"
+            : type === "info" || type === "warn"
             ? html`<div>${recent_event?.body}</div>`
             : null}
     </pluto-popup>`

diff --git a/frontend/editor.css b/frontend/editor.css
@@ -1810,6 +1810,11 @@ pluto-popup > * {
     position: absolute;
 }
 
+pluto-popup.warn > * {
+    background: var(--pluto-logs-warn-color);
+    border-color: var(--pluto-logs-warn-accent-color);
+}
+
 pluto-popup code.auto_disabled_variable {
     font-family: var(--julia-mono-font-stack);
     font-size: 0.8rem;

diff --git a/frontend/light_color.css b/frontend/light_color.css
@@ -111,7 +111,7 @@
 
         /*saveall container*/
         --overlay-button-bg: #ffffff;
-        --overlay-button-border: #f3f2f2;
+        --overlay-button-border: hsl(0 4% 91% / 1);
         --overlay-button-border-save: #f3f2f2;
 
         /*input_context_menu*/