Limit safe preview export warning translation (#3433)

Author: fonsp

frontend/components/Editor.js

@@ -1627,6 +1627,7 @@ ${t("t_key_autosave_description")}`
                             }
                             notebookfile_url=${this.export_url("notebookfile")}
                             notebookexport_url=${this.export_url("notebookexport")}
+                            process_waiting_for_permission=${status.process_waiting_for_permission}
                             open=${export_menu_open}
                             onClose=${() => this.setState({ export_menu_open: false })}
                             start_recording=${() => this.setState({ recording_waiting_to_start: true })}

frontend/components/ExportBanner.js

@@ -62,7 +62,16 @@ export const exportNotebookDesktop = (
     }
 }
 
-export const ExportBanner = ({ notebook_id, print_title, open, onClose, notebookfile_url, notebookexport_url, start_recording }) => {
+export const ExportBanner = ({
+    notebook_id,
+    print_title,
+    open,
+    onClose,
+    notebookfile_url,
+    notebookexport_url,
+    start_recording,
+    process_waiting_for_permission,
+}) => {
     //
     let print_old_title_ref = useRef("")
     useEventListener(
@@ -115,6 +124,9 @@ export const ExportBanner = ({ notebook_id, print_title, open, onClose, notebook
     const pride = true
     const prideMonth = new Date().getMonth() === 5
 
+    const warn_if_safe_preview = () =>
+        process_waiting_for_permission ? confirm(t("t_export_safe_preview_warning")) : true
+
     return html`
         <dialog id="export" inert=${!open} open=${open} ref=${element_ref} class=${prideMonth ? "pride" : ""}>
             <div id="container">
@@ -130,6 +142,10 @@ export const ExportBanner = ({ notebook_id, print_title, open, onClose, notebook
                     class="export_card"
                     download=""
                     onClick=${(e) => {
+                        if (!warn_if_safe_preview()) {
+                            e.preventDefault()
+                            return
+                        }
                         e.preventDefault()
                         WarnForVisisblePasswords()
                         window.dispatchEvent(new CustomEvent("open pluto html export", { detail: { download_url: notebookexport_url } }))
@@ -138,7 +154,17 @@ export const ExportBanner = ({ notebook_id, print_title, open, onClose, notebook
                     <header role="none"><${Square} fill="#E86F51" /> ${t("t_export_card_static_html")}</header>
                     <section>${th("t_export_card_static_html_description")}</section>
                 </a>
-                <a href="#" class="export_card" onClick=${() => window.print()}>
+                <a
+                    href="#"
+                    class="export_card"
+                    onClick=${(e) => {
+                        if (!warn_if_safe_preview()) {
+                            e.preventDefault()
+                            return
+                        }
+                        window.print()
+                    }}
+                >
                     <header role="none"><${Square} fill="#619b3d" />${t("t_export_card_pdf")}</header>
                     <section>${th("t_export_card_pdf_description")}</section>
                 </a>

frontend/lang/english.json

@@ -129,6 +129,7 @@
     "t_safe_preview_body": "You are reading and editing this file without running Julia code.",
     "t_safe_preview_run_this_notebook": "When you are ready, you can {{run_this_notebook}}.",
     "t_safe_preview_run_this_notebook_link": "run this notebook",
+    "t_export_safe_preview_warning": "This notebook is still in Safe Preview, and cells are not executed. You might want to run the notebook first. Are you sure you want to export it?",
     "t_instant_feedback_ellipsis": "Instant feedback...",
     "t_instant_feedback_send": "Send",
     "t_how_can_we_improve": "🙋 How can we make {{pluto}} better?",