var editor = CodeMirror.fromTextArea(document.getElementById("code"), { gutters: ["CodeMirror-linenumbers", "breakpoints"]
editor.on("gutterClick", function(cm, n) { var info = cm.lineInfo(n);
cm.setGutterMarker(n, "breakpoints", info.gutterMarkers ? null : makeMarker());
var marker = document.createElement("div"); marker.style.color = "#822";