News for hackers. Stuff that matters.

A comment on We are rewriting CodeMirror.

Re:We are rewriting CodeMirror by nobody271 on Tuesday August 28, 2018 @08:12PM (#17864065)
old jQuery UI style, please:

    window.codeMirror("#myCodeMirrorDiv");

    window.codeMirror("#myCodeMirrorDiv", {
        theme: window.codeMirror.themes.dusk,
        maxColumns: 120,
        lineNumbers: true
    });
btw why would you ever put yourself through such a thing?
[ Parent | on HN ]

There are no comments on this comment yet.