From dd9a837e9e9f9fa9a8781419bf421f880c41a4f3 Mon Sep 17 00:00:00 2001 From: Fons van der Plas Date: Tue, 19 Sep 2023 12:16:20 +0200 Subject: [PATCH] popup: big option --- frontend/components/NotifyWhenDone.js | 2 +- frontend/components/Popup.js | 13 +++++++++---- frontend/editor.css | 4 ++++ 3 files changed, 14 insertions(+), 5 deletions(-) diff --git a/frontend/components/NotifyWhenDone.js b/frontend/components/NotifyWhenDone.js index b05b25fe07..f31bedb12d 100644 --- a/frontend/components/NotifyWhenDone.js +++ b/frontend/components/NotifyWhenDone.js @@ -60,7 +60,7 @@ export let NotifyWhenDone = ({ status }) => { const visible = useDelayedTruth(!all_done, 2500) || enabled return html` -
+