3 ms·
old jQuery UI style, please: window.codeMirror("#myCodeMirrorDiv"); window.codeMirror("#myCodeMirrorDiv", { theme: window.codeMirror.themes.du
by nobody271 8y ago
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?