diff --git a/frontend/components/FilePicker.js b/frontend/components/FilePicker.js index fed7ee8d37..4df86c1738 100644 --- a/frontend/components/FilePicker.js +++ b/frontend/components/FilePicker.js @@ -55,6 +55,7 @@ const set_cm_value = (/** @type{EditorView} */ cm, /** @type {string} */ value, * placeholder: String, * on_submit: (new_path: String) => Promise, * client: import("../common/PlutoConnection.js").PlutoConnection, + * force_on_blur: Boolean * }} props */ export const FilePicker = ({ value, suggest_new_file, button_label, placeholder, on_submit, client, force_on_blur = true }) => { diff --git a/frontend/components/welcome/Welcome.js b/frontend/components/welcome/Welcome.js index aca858f838..1d2d9d2d3f 100644 --- a/frontend/components/welcome/Welcome.js +++ b/frontend/components/welcome/Welcome.js @@ -93,6 +93,12 @@ export const Welcome = ({ launch_params }) => { }) }, []) + useEffect(() => { + window.plutoDesktop?.ipcRenderer.on("set-block-screen-text", (/** @type string */ block_screen_text) => { + set_block_screen_with_this_text(block_screen_text) + }) + }, []) + const { show_samples, CustomRecent, CustomPicker } = extended_components // When block_screen_with_this_text is null (default), all is fine. When it is a string, we show a big banner with that text, and disable all other UI. https://github.com/fonsp/Pluto.jl/pull/2292