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.markers ? null : makeMarker());
var marker = document.createElement("div");
marker.className = "breakpoint";