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

Bugfix/non ascii filenames

Author: ubidefeo

package-lock.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"

package.json

@@ -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,"")
 }