Editor: Change the hex file download type for application/octet-stream to text.

microbit-carlos · microbit-carlos · commit 4eac71fdf622 · 2021-02-05T18:18:59.000Z
diff --git a/js/python-main.js b/js/python-main.js
@@ -882,7 +882,7 @@ function web_editor(config) {
         }
         // This works in all other browser
         var filename = getSafeName();
-        var blob = new Blob([output], { 'type': 'application/octet-stream' });
+        var blob = new Blob([output], { 'type': 'text/plain' });
         saveAs(blob, filename + '.hex');
     }
 

Original file line number	Diff line number	Diff line change
`@@ -882,7 +882,7 @@ function web_editor(config) {`
`882`	`882`	`}`
`883`	`883`	`// This works in all other browser`
`884`	`884`	`var filename = getSafeName();`
`885`		`- var blob = new Blob([output], { 'type': 'application/octet-stream' });`
	`885`	`+ var blob = new Blob([output], { 'type': 'text/plain' });`
`886`	`886`	`saveAs(blob, filename + '.hex');`
`887`	`887`	`}`
`888`	`888`