From 6d601aa79f8f0bc1c08df528dc515178dede3ae7 Mon Sep 17 00:00:00 2001 From: "Namhyeon, Go" Date: Wed, 12 Mar 2025 15:47:12 +0900 Subject: [PATCH] Update editor.html --- WelsonJS.Toolkit/WelsonJS.Launcher/editor.html | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) diff --git a/WelsonJS.Toolkit/WelsonJS.Launcher/editor.html b/WelsonJS.Toolkit/WelsonJS.Launcher/editor.html index 3e0f905..9857adf 100644 --- a/WelsonJS.Toolkit/WelsonJS.Launcher/editor.html +++ b/WelsonJS.Toolkit/WelsonJS.Launcher/editor.html @@ -43,6 +43,10 @@ Save File + @@ -123,14 +127,26 @@ function saveFile() { var text = editor.getValue(); + var fileName = prompt("Enter file name:", currentFileName); + if (!fileName) return; + + currentFileName = fileName; var blob = new Blob([text], { type: 'text/plain' }); var a = document.createElement('a'); a.href = URL.createObjectURL(blob); - a.download = currentFileName; + a.download = fileName; document.body.appendChild(a); a.click(); document.body.removeChild(a); } + + function navigate(href) { + var a = document.createElement("a"); + a.href = href; + a.target = "_blank"; + document.body.appendChild(a); + a.click(); + }