I haven't had time to try them I'm afraid. If you issued a pull request for your changes I could pull them in and out them in the latest version - but please could you:
Move the duplicate code for $('head').append('<style id="codemirrorLineWrapping">.CodeMirror-wrap pre { word-wrap: break-word;white-space: pre-wrap;word-break: normal; }</style>'); into a function or something - having 2 copies of it is just asking for bugs later on if someone tweaks it :)
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.
I haven't had time to try them I'm afraid. If you issued a pull request for your changes I could pull them in and out them in the latest version - but please could you:
console.dir
calls$('head').append('<style id="codemirrorLineWrapping">.CodeMirror-wrap pre { word-wrap: break-word;white-space: pre-wrap;word-break: normal; }</style>');
into a function or something - having 2 copies of it is just asking for bugs later on if someone tweaks it :)thanks!