12
12
// monkey patch CM to be able to syntax highlight cell magics
13
13
// bug reported upstream,
15
15
if(CodeMirror.getMode(1,'text/plain').indent === undefined ){
16
16
CodeMirror.modes.null = function() {
17
17
return {token: function(stream) {stream.skipToEnd();},indent : function(){return 0;}};