 class InputMethod extends EventEmitter
 
   activated: false
+  input: ''
 
   @trie: require './keymap.js'
 


          else
            # further key combinations are possible
            @decorator.resize range

        else
          # key combination out of keymap

          @deactivate()
          symbol = result['>>']
          if symbol.length > 0
            lastInput = @input.substr -1
            refill = symbol[0] + lastInput
            # console.log "symbol #{symbol} lastInput #{lastInput} refill #{refill}"
            @agda.editor.getBuffer().setTextInRange range, refill
