+12 -2

vendor/code-mirror.compiled.js

reviewed

··· 30971 30971 streamParser: require('@codemirror/stream-parser'), 30972 30972 OCaml: require('@codemirror/legacy-modes/mode/mllike.cjs').oCaml, 30973 30973 }; 30974 30974 + 30975 30975 + // Overwrite the defaults 30976 30976 + joo_global_object.__CM__view = cm.View; 30977 30977 + joo_global_object.__CM__state = cm.State; 30978 30978 + joo_global_object.__CM__lint = cm.lint; 30979 30979 + joo_global_object.__CM__autocomplete = cm.autocomplete; 30980 30980 + joo_global_object.__CM__basic_setup = cm.basicSetup 30981 30981 + joo_global_object.__CM__dark = cm.dark; 30982 30982 + joo_global_object.__CM__stream_parser = cm.streamParser; 30983 30983 + joo_global_object.__CM__mllike = cm.OCaml; 30974 30984 30975 30975 - global.CodeMirror = cm; 30976 30976 - module.exports = cm; 30985 30985 + global.CodeMirror = cm; 30986 30986 + module.exports = cm; 30977 30987 }).call(this)}).call(this,typeof global !== "undefined" ? global : typeof self !== "undefined" ? self : typeof window !== "undefined" ? window : {}) 30978 30988 },{"@codemirror/autocomplete":1,"@codemirror/basic-setup":2,"@codemirror/legacy-modes/mode/mllike.cjs":14,"@codemirror/lint":15,"@codemirror/stream-parser":23,"@codemirror/theme-one-dark":25}]},{},[32])(32) 30979 30989 });

+12 -2

vendor/code-mirror.js

reviewed

··· 8 8 streamParser: require('@codemirror/stream-parser'), 9 9 OCaml: require('@codemirror/legacy-modes/mode/mllike.cjs').oCaml, 10 10 }; 11 11 + 12 12 + // Overwrite the defaults 13 13 + joo_global_object.__CM__view = cm.View; 14 14 + joo_global_object.__CM__state = cm.State; 15 15 + joo_global_object.__CM__lint = cm.lint; 16 16 + joo_global_object.__CM__autocomplete = cm.autocomplete; 17 17 + joo_global_object.__CM__basic_setup = cm.basicSetup 18 18 + joo_global_object.__CM__dark = cm.dark; 19 19 + joo_global_object.__CM__stream_parser = cm.streamParser; 20 20 + joo_global_object.__CM__mllike = cm.OCaml; 11 21 12 12 - global.CodeMirror = cm; 13 13 - module.exports = cm; 22 22 + global.CodeMirror = cm; 23 23 + module.exports = cm;

+4 -3

vendor/out/code-mirror.compiled.js

reviewed

··· 2620 2620 */},{key:"finish",value:function finish(){return this.finishInner(RangeSet.empty);}/** 2621 2621 @internal 2622 2622 */},{key:"finishInner",value:function finishInner(next){if(this.from.length)this.finishChunk(false);if(this.chunks.length==0)return next;var result=new RangeSet(this.chunkPos,this.chunks,this.nextLayer?this.nextLayer.finishInner(next):next,this.setMaxPoint);this.from=null;// Make sure further `add` calls produce errors 2623 2623 - return result;}}]);return RangeSetBuilder;}();function findSharedChunks(a,b,textDiff){var inA=new Map();var _iterator159=_createForOfIteratorHelper(a),_step159;try{for(_iterator159.s();!(_step159=_iterator159.n()).done;){var set=_step159.value;for(var _i77=0;_i77<set.chunk.length;_i77++){if(set.chunk[_i77].maxPoint<=0)inA.set(set.chunk[_i77],set.chunkPos[_i77]);}}}catch(err){_iterator159.e(err);}finally{_iterator159.f();}var shared=new Set();var _iterator160=_createForOfIteratorHelper(b),_step160;try{for(_iterator160.s();!(_step160=_iterator160.n()).done;){var _set=_step160.value;for(var _i78=0;_i78<_set.chunk.length;_i78++){var known=inA.get(_set.chunk[_i78]);if(known!=null&&(textDiff?textDiff.mapPos(known):known)==_set.chunkPos[_i78]&&!(textDiff===null||textDiff===void 0?void 0:textDiff.touchesRange(known,known+_set.chunk[_i78].length)))shared.add(_set.chunk[_i78]);}}}catch(err){_iterator160.e(err);}finally{_iterator160.f();}return shared;}var LayerCursor=/*#__PURE__*/function(){function LayerCursor(layer,skip,minPoint){var rank=arguments.length>3&&arguments[3]!==undefined?arguments[3]:0;_classCallCheck(this,LayerCursor);this.layer=layer;this.skip=skip;this.minPoint=minPoint;this.rank=rank;}_createClass(LayerCursor,[{key:"startSide",get:function get(){return this.value?this.value.startSide:0;}},{key:"endSide",get:function get(){return this.value?this.value.endSide:0;}},{key:"goto",value:function goto(pos){var side=arguments.length>1&&arguments[1]!==undefined?arguments[1]:-1000000000;this.chunkIndex=this.rangeIndex=0;this.gotoInner(pos,side,false);return this;}},{key:"gotoInner",value:function gotoInner(pos,side,forward){while(this.chunkIndex<this.layer.chunk.length){var next=this.layer.chunk[this.chunkIndex];if(!(this.skip&&this.skip.has(next)||this.layer.chunkEnd(this.chunkIndex)<pos||next.maxPoint<this.minPoint))break;this.chunkIndex++;forward=false;}if(this.chunkIndex<this.layer.chunk.length){var rangeIndex=this.layer.chunk[this.chunkIndex].findIndex(pos-this.layer.chunkPos[this.chunkIndex],side,true);if(!forward||this.rangeIndex<rangeIndex)this.setRangeIndex(rangeIndex);}this.next();}},{key:"forward",value:function forward(pos,side){if((this.to-pos||this.endSide-side)<0)this.gotoInner(pos,side,true);}},{key:"next",value:function next(){for(;;){if(this.chunkIndex==this.layer.chunk.length){this.from=this.to=1000000000/* Far */;this.value=null;break;}else{var chunkPos=this.layer.chunkPos[this.chunkIndex],chunk=this.layer.chunk[this.chunkIndex];var from=chunkPos+chunk.from[this.rangeIndex];this.from=from;this.to=chunkPos+chunk.to[this.rangeIndex];this.value=chunk.value[this.rangeIndex];this.setRangeIndex(this.rangeIndex+1);if(this.minPoint<0||this.value.point&&this.to-this.from>=this.minPoint)break;}}}},{key:"setRangeIndex",value:function setRangeIndex(index){if(index==this.layer.chunk[this.chunkIndex].value.length){this.chunkIndex++;if(this.skip){while(this.chunkIndex<this.layer.chunk.length&&this.skip.has(this.layer.chunk[this.chunkIndex])){this.chunkIndex++;}}this.rangeIndex=0;}else{this.rangeIndex=index;}}},{key:"nextChunk",value:function nextChunk(){this.chunkIndex++;this.rangeIndex=0;this.next();}},{key:"compare",value:function compare(other){return this.from-other.from||this.startSide-other.startSide||this.to-other.to||this.endSide-other.endSide;}}]);return LayerCursor;}();var HeapCursor=/*#__PURE__*/function(){function HeapCursor(heap){_classCallCheck(this,HeapCursor);this.heap=heap;}_createClass(HeapCursor,[{key:"startSide",get:function get(){return this.value?this.value.startSide:0;}},{key:"goto",value:function goto(pos){var side=arguments.length>1&&arguments[1]!==undefined?arguments[1]:-1000000000;var _iterator161=_createForOfIteratorHelper(this.heap),_step161;try{for(_iterator161.s();!(_step161=_iterator161.n()).done;){var cur=_step161.value;cur["goto"](pos,side);}}catch(err){_iterator161.e(err);}finally{_iterator161.f();}for(var _i79=this.heap.length>>1;_i79>=0;_i79--){heapBubble(this.heap,_i79);}this.next();return this;}},{key:"forward",value:function forward(pos,side){var _iterator162=_createForOfIteratorHelper(this.heap),_step162;try{for(_iterator162.s();!(_step162=_iterator162.n()).done;){var cur=_step162.value;cur.forward(pos,side);}}catch(err){_iterator162.e(err);}finally{_iterator162.f();}for(var _i80=this.heap.length>>1;_i80>=0;_i80--){heapBubble(this.heap,_i80);}if((this.to-pos||this.value.endSide-side)<0)this.next();}},{key:"next",value:function next(){if(this.heap.length==0){this.from=this.to=1000000000/* Far */;this.value=null;this.rank=-1;}else{var top=this.heap[0];this.from=top.from;this.to=top.to;this.value=top.value;this.rank=top.rank;if(top.value)top.next();heapBubble(this.heap,0);}}}],[{key:"from",value:function from(sets){var skip=arguments.length>1&&arguments[1]!==undefined?arguments[1]:null;var minPoint=arguments.length>2&&arguments[2]!==undefined?arguments[2]:-1;var heap=[];for(var _i81=0;_i81<sets.length;_i81++){for(var cur=sets[_i81];!cur.isEmpty;cur=cur.nextLayer){if(cur.maxPoint>=minPoint)heap.push(new LayerCursor(cur,skip,minPoint,_i81));}}return heap.length==1?heap[0]:new HeapCursor(heap);}}]);return HeapCursor;}();function heapBubble(heap,index){for(var cur=heap[index];;){var childIndex=(index<<1)+1;if(childIndex>=heap.length)break;var child=heap[childIndex];if(childIndex+1<heap.length&&child.compare(heap[childIndex+1])>=0){child=heap[childIndex+1];childIndex++;}if(cur.compare(child)<0)break;heap[childIndex]=cur;heap[index]=child;index=childIndex;}}var SpanCursor=/*#__PURE__*/function(){function SpanCursor(sets,skip,minPoint){var filterPoint=arguments.length>3&&arguments[3]!==undefined?arguments[3]:function(){return true;};_classCallCheck(this,SpanCursor);this.minPoint=minPoint;this.filterPoint=filterPoint;this.active=[];this.activeTo=[];this.activeRank=[];this.minActive=-1;// A currently active point range, if any 2624 2624 - this.point=null;this.pointFrom=0;this.pointRank=0;this.to=-1000000000/* Far */;this.endSide=0;this.openStart=-1;this.cursor=HeapCursor.from(sets,skip,minPoint);}_createClass(SpanCursor,[{key:"goto",value:function goto(pos){var side=arguments.length>1&&arguments[1]!==undefined?arguments[1]:-1000000000;this.cursor["goto"](pos,side);this.active.length=this.activeTo.length=this.activeRank.length=0;this.minActive=-1;this.to=pos;this.endSide=side;this.openStart=-1;this.next();return this;}},{key:"forward",value:function forward(pos,side){while(this.minActive>-1&&(this.activeTo[this.minActive]-pos||this.active[this.minActive].endSide-side)<0){this.removeActive(this.minActive);}this.cursor.forward(pos,side);}},{key:"removeActive",value:function removeActive(index){remove(this.active,index);remove(this.activeTo,index);remove(this.activeRank,index);this.minActive=findMinIndex(this.active,this.activeTo);}},{key:"addActive",value:function addActive(trackOpen){var i=0,_this$cursor=this.cursor,value=_this$cursor.value,to=_this$cursor.to,rank=_this$cursor.rank;while(i<this.activeRank.length&&this.activeRank[i]<=rank){i++;}insert(this.active,i,value);insert(this.activeTo,i,to);insert(this.activeRank,i,rank);if(trackOpen)insert(trackOpen,i,this.cursor.from);this.minActive=findMinIndex(this.active,this.activeTo);}// After calling this, if `this.point` != null, the next range is a 2623 2623 + return result;}}]);return RangeSetBuilder;}();function findSharedChunks(a,b,textDiff){var inA=new Map();var _iterator159=_createForOfIteratorHelper(a),_step159;try{for(_iterator159.s();!(_step159=_iterator159.n()).done;){var set=_step159.value;for(var _i77=0;_i77<set.chunk.length;_i77++){if(set.chunk[_i77].maxPoint<=0)inA.set(set.chunk[_i77],set.chunkPos[_i77]);}}}catch(err){_iterator159.e(err);}finally{_iterator159.f();}var shared=new Set();var _iterator160=_createForOfIteratorHelper(b),_step160;try{for(_iterator160.s();!(_step160=_iterator160.n()).done;){var _set=_step160.value;for(var _i78=0;_i78<_set.chunk.length;_i78++){var known=inA.get(_set.chunk[_i78]);if(known!=null&&(textDiff?textDiff.mapPos(known):known)==_set.chunkPos[_i78]&&!(textDiff===null||textDiff===void 0?void 0:textDiff.touchesRange(known,known+_set.chunk[_i78].length)))shared.add(_set.chunk[_i78]);}}}catch(err){_iterator160.e(err);}finally{_iterator160.f();}return shared;}var LayerCursor=/*#__PURE__*/function(){function LayerCursor(layer,skip,minPoint){var rank=arguments.length>3&&arguments[3]!==undefined?arguments[3]:0;_classCallCheck(this,LayerCursor);this.layer=layer;this.skip=skip;this.minPoint=minPoint;this.rank=rank;}_createClass(LayerCursor,[{key:"startSide",get:function get(){return this.value?this.value.startSide:0;}},{key:"endSide",get:function get(){return this.value?this.value.endSide:0;}},{key:"goto",value:function _goto(pos){var side=arguments.length>1&&arguments[1]!==undefined?arguments[1]:-1000000000;this.chunkIndex=this.rangeIndex=0;this.gotoInner(pos,side,false);return this;}},{key:"gotoInner",value:function gotoInner(pos,side,forward){while(this.chunkIndex<this.layer.chunk.length){var next=this.layer.chunk[this.chunkIndex];if(!(this.skip&&this.skip.has(next)||this.layer.chunkEnd(this.chunkIndex)<pos||next.maxPoint<this.minPoint))break;this.chunkIndex++;forward=false;}if(this.chunkIndex<this.layer.chunk.length){var rangeIndex=this.layer.chunk[this.chunkIndex].findIndex(pos-this.layer.chunkPos[this.chunkIndex],side,true);if(!forward||this.rangeIndex<rangeIndex)this.setRangeIndex(rangeIndex);}this.next();}},{key:"forward",value:function forward(pos,side){if((this.to-pos||this.endSide-side)<0)this.gotoInner(pos,side,true);}},{key:"next",value:function next(){for(;;){if(this.chunkIndex==this.layer.chunk.length){this.from=this.to=1000000000/* Far */;this.value=null;break;}else{var chunkPos=this.layer.chunkPos[this.chunkIndex],chunk=this.layer.chunk[this.chunkIndex];var from=chunkPos+chunk.from[this.rangeIndex];this.from=from;this.to=chunkPos+chunk.to[this.rangeIndex];this.value=chunk.value[this.rangeIndex];this.setRangeIndex(this.rangeIndex+1);if(this.minPoint<0||this.value.point&&this.to-this.from>=this.minPoint)break;}}}},{key:"setRangeIndex",value:function setRangeIndex(index){if(index==this.layer.chunk[this.chunkIndex].value.length){this.chunkIndex++;if(this.skip){while(this.chunkIndex<this.layer.chunk.length&&this.skip.has(this.layer.chunk[this.chunkIndex])){this.chunkIndex++;}}this.rangeIndex=0;}else{this.rangeIndex=index;}}},{key:"nextChunk",value:function nextChunk(){this.chunkIndex++;this.rangeIndex=0;this.next();}},{key:"compare",value:function compare(other){return this.from-other.from||this.startSide-other.startSide||this.to-other.to||this.endSide-other.endSide;}}]);return LayerCursor;}();var HeapCursor=/*#__PURE__*/function(){function HeapCursor(heap){_classCallCheck(this,HeapCursor);this.heap=heap;}_createClass(HeapCursor,[{key:"startSide",get:function get(){return this.value?this.value.startSide:0;}},{key:"goto",value:function _goto2(pos){var side=arguments.length>1&&arguments[1]!==undefined?arguments[1]:-1000000000;var _iterator161=_createForOfIteratorHelper(this.heap),_step161;try{for(_iterator161.s();!(_step161=_iterator161.n()).done;){var cur=_step161.value;cur["goto"](pos,side);}}catch(err){_iterator161.e(err);}finally{_iterator161.f();}for(var _i79=this.heap.length>>1;_i79>=0;_i79--){heapBubble(this.heap,_i79);}this.next();return this;}},{key:"forward",value:function forward(pos,side){var _iterator162=_createForOfIteratorHelper(this.heap),_step162;try{for(_iterator162.s();!(_step162=_iterator162.n()).done;){var cur=_step162.value;cur.forward(pos,side);}}catch(err){_iterator162.e(err);}finally{_iterator162.f();}for(var _i80=this.heap.length>>1;_i80>=0;_i80--){heapBubble(this.heap,_i80);}if((this.to-pos||this.value.endSide-side)<0)this.next();}},{key:"next",value:function next(){if(this.heap.length==0){this.from=this.to=1000000000/* Far */;this.value=null;this.rank=-1;}else{var top=this.heap[0];this.from=top.from;this.to=top.to;this.value=top.value;this.rank=top.rank;if(top.value)top.next();heapBubble(this.heap,0);}}}],[{key:"from",value:function from(sets){var skip=arguments.length>1&&arguments[1]!==undefined?arguments[1]:null;var minPoint=arguments.length>2&&arguments[2]!==undefined?arguments[2]:-1;var heap=[];for(var _i81=0;_i81<sets.length;_i81++){for(var cur=sets[_i81];!cur.isEmpty;cur=cur.nextLayer){if(cur.maxPoint>=minPoint)heap.push(new LayerCursor(cur,skip,minPoint,_i81));}}return heap.length==1?heap[0]:new HeapCursor(heap);}}]);return HeapCursor;}();function heapBubble(heap,index){for(var cur=heap[index];;){var childIndex=(index<<1)+1;if(childIndex>=heap.length)break;var child=heap[childIndex];if(childIndex+1<heap.length&&child.compare(heap[childIndex+1])>=0){child=heap[childIndex+1];childIndex++;}if(cur.compare(child)<0)break;heap[childIndex]=cur;heap[index]=child;index=childIndex;}}var SpanCursor=/*#__PURE__*/function(){function SpanCursor(sets,skip,minPoint){var filterPoint=arguments.length>3&&arguments[3]!==undefined?arguments[3]:function(){return true;};_classCallCheck(this,SpanCursor);this.minPoint=minPoint;this.filterPoint=filterPoint;this.active=[];this.activeTo=[];this.activeRank=[];this.minActive=-1;// A currently active point range, if any 2624 2624 + this.point=null;this.pointFrom=0;this.pointRank=0;this.to=-1000000000/* Far */;this.endSide=0;this.openStart=-1;this.cursor=HeapCursor.from(sets,skip,minPoint);}_createClass(SpanCursor,[{key:"goto",value:function _goto3(pos){var side=arguments.length>1&&arguments[1]!==undefined?arguments[1]:-1000000000;this.cursor["goto"](pos,side);this.active.length=this.activeTo.length=this.activeRank.length=0;this.minActive=-1;this.to=pos;this.endSide=side;this.openStart=-1;this.next();return this;}},{key:"forward",value:function forward(pos,side){while(this.minActive>-1&&(this.activeTo[this.minActive]-pos||this.active[this.minActive].endSide-side)<0){this.removeActive(this.minActive);}this.cursor.forward(pos,side);}},{key:"removeActive",value:function removeActive(index){remove(this.active,index);remove(this.activeTo,index);remove(this.activeRank,index);this.minActive=findMinIndex(this.active,this.activeTo);}},{key:"addActive",value:function addActive(trackOpen){var i=0,_this$cursor=this.cursor,value=_this$cursor.value,to=_this$cursor.to,rank=_this$cursor.rank;while(i<this.activeRank.length&&this.activeRank[i]<=rank){i++;}insert(this.active,i,value);insert(this.activeTo,i,to);insert(this.activeRank,i,rank);if(trackOpen)insert(trackOpen,i,this.cursor.from);this.minActive=findMinIndex(this.active,this.activeTo);}// After calling this, if `this.point` != null, the next range is a 2625 2625 // point. Otherwise, it's a regular range, covered by `this.active`. 2626 2626 },{key:"next",value:function next(){var from=this.to,wasPoint=this.point;this.point=null;var trackOpen=this.openStart<0?[]:null,trackExtra=0;for(;;){var a=this.minActive;if(a>-1&&(this.activeTo[a]-this.cursor.from||this.active[a].endSide-this.cursor.startSide)<0){if(this.activeTo[a]>from){this.to=this.activeTo[a];this.endSide=this.active[a].endSide;break;}this.removeActive(a);if(trackOpen)remove(trackOpen,a);}else if(!this.cursor.value){this.to=this.endSide=1000000000/* Far */;break;}else if(this.cursor.from>from){this.to=this.cursor.from;this.endSide=this.cursor.startSide;break;}else{var nextVal=this.cursor.value;if(!nextVal.point){// Opening a range 2627 2627 this.addActive(trackOpen);this.cursor.next();}else if(wasPoint&&this.cursor.to==this.to&&this.cursor.from<this.cursor.to){// Ignore any non-empty points that end precisely at the end of the prev point ··· 4979 4979 // they fix https://bugs.chromium.org/p/chromium/issues/detail?id=633838 4980 4980 var ignoreKey=brokenModifierNames&&(event.ctrlKey||event.altKey||event.metaKey)||(safari||ie)&&event.shiftKey&&event.key&&event.key.length==1;var name=!ignoreKey&&event.key||(event.shiftKey?shift:base)[event.keyCode]||event.key||"Unidentified";// Edge sometimes produces wrong names (Issue #3) 4981 4981 if(name=="Esc")name="Escape";if(name=="Del")name="Delete";// https://developer.microsoft.com/en-us/microsoft-edge/platform/issues/8860571/ 4982 4982 - if(name=="Left")name="ArrowLeft";if(name=="Up")name="ArrowUp";if(name=="Right")name="ArrowRight";if(name=="Down")name="ArrowDown";return name;}exports.base=base;exports.keyName=keyName;exports.shift=shift;},{}],32:[function(require,module,exports){(function(global){(function(){var cm={View:require('@codemirror/basic-setup').EditorView,State:require('@codemirror/basic-setup').EditorState,lint:require('@codemirror/lint'),autocomplete:require('@codemirror/autocomplete'),basicSetup:require('@codemirror/basic-setup').basicSetup,dark:require('@codemirror/theme-one-dark'),streamParser:require('@codemirror/stream-parser'),OCaml:require('@codemirror/legacy-modes/mode/mllike.cjs').oCaml};global.CodeMirror=cm;module.exports=cm;}).call(this);}).call(this,typeof global!=="undefined"?global:typeof self!=="undefined"?self:typeof window!=="undefined"?window:{});},{"@codemirror/autocomplete":1,"@codemirror/basic-setup":2,"@codemirror/legacy-modes/mode/mllike.cjs":14,"@codemirror/lint":15,"@codemirror/stream-parser":23,"@codemirror/theme-one-dark":25}]},{},[32])(32);}); 4982 4982 + if(name=="Left")name="ArrowLeft";if(name=="Up")name="ArrowUp";if(name=="Right")name="ArrowRight";if(name=="Down")name="ArrowDown";return name;}exports.base=base;exports.keyName=keyName;exports.shift=shift;},{}],32:[function(require,module,exports){(function(global){(function(){var cm={View:require('@codemirror/basic-setup').EditorView,State:require('@codemirror/basic-setup').EditorState,lint:require('@codemirror/lint'),autocomplete:require('@codemirror/autocomplete'),basicSetup:require('@codemirror/basic-setup').basicSetup,dark:require('@codemirror/theme-one-dark'),streamParser:require('@codemirror/stream-parser'),OCaml:require('@codemirror/legacy-modes/mode/mllike.cjs').oCaml};// Overwrite the defaults 4983 4983 + joo_global_object.__CM__view=cm.View;joo_global_object.__CM__state=cm.State;joo_global_object.__CM__lint=cm.lint;joo_global_object.__CM__autocomplete=cm.autocomplete;joo_global_object.__CM__basic_setup=cm.basicSetup;joo_global_object.__CM__dark=cm.dark;joo_global_object.__CM__stream_parser=cm.streamParser;joo_global_object.__CM__mllike=cm.OCaml;global.CodeMirror=cm;module.exports=cm;}).call(this);}).call(this,typeof global!=="undefined"?global:typeof self!=="undefined"?self:typeof window!=="undefined"?window:{});},{"@codemirror/autocomplete":1,"@codemirror/basic-setup":2,"@codemirror/legacy-modes/mode/mllike.cjs":14,"@codemirror/lint":15,"@codemirror/stream-parser":23,"@codemirror/theme-one-dark":25}]},{},[32])(32);});

+10 -1

vendor/out/code-mirror.js

reviewed

··· 9 9 dark: require('@codemirror/theme-one-dark'), 10 10 streamParser: require('@codemirror/stream-parser'), 11 11 OCaml: require('@codemirror/legacy-modes/mode/mllike.cjs').oCaml 12 12 - }; 12 12 + }; // Overwrite the defaults 13 13 + 14 14 + joo_global_object.__CM__view = cm.View; 15 15 + joo_global_object.__CM__state = cm.State; 16 16 + joo_global_object.__CM__lint = cm.lint; 17 17 + joo_global_object.__CM__autocomplete = cm.autocomplete; 18 18 + joo_global_object.__CM__basic_setup = cm.basicSetup; 19 19 + joo_global_object.__CM__dark = cm.dark; 20 20 + joo_global_object.__CM__stream_parser = cm.streamParser; 21 21 + joo_global_object.__CM__mllike = cm.OCaml; 13 22 global.CodeMirror = cm; 14 23 module.exports = cm;