From b8eb4122fab27cada10ef6e71d15af3dfdf1bc76 Mon Sep 17 00:00:00 2001 From: coderaiser Date: Thu, 27 Sep 2012 11:09:56 -0400 Subject: [PATCH] added ability to work with codemirror v3 --- lib/client/editor.js | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/lib/client/editor.js b/lib/client/editor.js index aae1b63f..f875c324 100644 --- a/lib/client/editor.js +++ b/lib/client/editor.js @@ -47,15 +47,21 @@ var CloudCommander, CloudFunc, CodeMirror; ]); - Util.cssSet({id:'editor', + Util.cssSet({id:'editor', inner : '.CodeMirror{' + 'font-family :\'Droid Sans Mono\';' + 'font-size :15px;' + - 'padding :20px 0 0 0;' + + 'padding :20px 0 0 0;' + + /* codemirror v3 */ + //'height : ' + cloudcmd.HEIGHT + 'px' + '}' + '.CodeMirror-scroll{' + 'height : ' + (cloudcmd.HEIGHT-40) + 'px' + - '}' + '}' //+ + /* codemirror v3 */ + //'#CodeMirrorEditor{' + + // 'padding :20px 20px 20px 20px;' + + // '}' }); Util.jsload(CodeMirrorEditor.dir +