   ###
 
   createBreakpointElement = -> $('<div class="breakpoint">●</div>')[0]
-  breakpoints = []
+  breakpoints = [] # array of line numbers
   cm.on 'gutterClick', (cm, l) ->
     if breakpoints.indexOf(l) >= 0 then breakpoints.splice l, 1; cm.setGutterMarker l, 'breakpoints', null
     else breakpoints.push l; cm.setGutterMarker l, 'breakpoints', createBreakpointElement()

    if opener then $('title').text ee.name
    return
  hasFocus: -> cm.hasFocus()
  focus: -> cm.focus()
  insert: (ch) -> (if !cm.getOption 'readOnly' then c = cm.getCursor(); cm.replaceRange ch, c, c); return
  getValue: -> cm.getValue()
  getCursorIndex: -> cm.indexFromPos cm.getCursor()
  setValue: (x) -> cm.setValue x
  setCursorIndex: (i) -> cm.setCursor cm.posFromIndex i
  highlight: highlight
  getHighlightedLine: -> hll
  setDebugger: setDebugger

          s = stream.string[stream.pos..]; if ic then s = s.toLowerCase()
          i = s.indexOf q
          if !i then         stream.pos += q.length; 'searching'
          else if i > 0 then stream.pos += i;        return
          else               stream.skipToEnd();     return
    [q, ic]
  search = (backwards) ->
    [q, ic] = highlightSearch()
