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";