Ahh, sorry about that - it looks like the IDE is struggling to convert Unicode properly. If you escape it (eg by pasting this into Node.js or your web browser's console):
And when I do that I see the issue with text alignment (attached) - so thanks! I think that's all I need to get started fixing this (but that means it'll need a new firmware version - it's not JS)
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Ahh, sorry about that - it looks like the IDE is struggling to convert Unicode properly. If you escape it (eg by pasting this into Node.js or your web browser's console):
It'll give you the escaped unicode:
And you can try that with:
And when I do that I see the issue with text alignment (attached) - so thanks! I think that's all I need to get started fixing this (but that means it'll need a new firmware version - it's not JS)
1 Attachment