   holes: []
 
   constructor: (@agda) ->
+    console.log 'INIT HOLEMANAGER'
     @destroyHoles()
     @expandBoundaries()
 

    goals = @holes.filter (hole) =>
      hole.getRange().containsPoint cursor

    # in certain hole
    if goals.length is 1
      goal = goals[0]

      tailIndex += 2
      @holes.push new Hole(@agda, i, headIndex, tailIndex)

    @agda.once 'quit', @destroyHoles

  # convert all '?' to '{!!}'
  expandBoundaries: ->
