• 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:

    • change the formatting so you use the same 2 spaces for indents (and not tabs) - it looks completely different here
    • remove the console.dir calls
    • 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 :)



Avatar for Gordon @Gordon started