Merge pull request #58 from arduino/bugfix/non-ascii-filenames

Bugfix/non ascii filenames
arduino · Jul 7, 2023 · 9dedd05 · 9dedd05
2 parents 4ba5831 + 55ceed8
commit 9dedd05
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 8 deletions.
diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -38,7 +38,7 @@
 	"license": "MIT",
 	"dependencies": {
 		"about-window": "^1.15.2",
-		"micropython.js": "github:arduino/micropython.js#v1.4.1"
+		"micropython.js": "github:arduino/micropython.js#v1.4.2"
 	},
 	"engines": {
 		"node": "18"

diff --git a/ui/arduino/store.js b/ui/arduino/store.js
@@ -166,7 +166,7 @@ function store(state, emitter) {
     let editor = state.cache(AceEditor, 'editor').editor
     let contents = cleanCharacters(editor.getValue())
     editor.setValue(contents)
-    let filename = state.selectedFile || 'undefined'
+    let filename = cleanCharacters(state.selectedFile || 'undefined')
     let deviceName = getDeviceName(state.selectedDevice)
 
     state.blocking = true
@@ -511,7 +511,7 @@ function store(state, emitter) {
   })
   emitter.on('save-filename', async (filename) => {
     log('save-filename', filename)
-
+    filename = cleanCharacters(filename)
     // no changes
     if (state.selectedFile === filename) {
       state.isEditingFilename = false
@@ -685,8 +685,6 @@ function resizeEditor(state) {
   }
 }
 
-
-
 function cleanCharacters(str) {
   return str.replace(/[\u{0080}-\u{FFFF}]/gu,"")
 }