Importing HEX file adds characters to end of file

[microbit-mark]

1. Open editor at https://python.microbit.org/
2. Edit and download default program
3. Drag/Load downloaded hex file and see issue.

[microbit-carlos]

@microbit-sam Could you look at this one?

We have this problem with all the 1.1.x editors (but not the beta one? Is beta not using MicroPython v1.0?), having a quick look I think they are missing this line: https://github.com/bbcmicrobit/PythonEditor/pull/57/files#diff-6d9d88a8fbf6c28991df9328acc4142aR158

PythonEditor/python-main.js

Line 158 in 70b4d15

var lines = hex_lines.slice(start_line + 1, -5);

[microbit-sam]

Yep, literally just submitted a PR to add that in
https://github.com/microbit-foundation/python-editor/pull/28

[microbit-carlos]

Great, thanks Sam!

[microbit-carlos]

Fix on #89.