             log 'IM', 'activated'
             @rawInput = ''
             @activated = true
+
 
             # add class 'agda-mode-input-method-activated'
             editorElement = atom.views.getView(atom.workspace.getActiveTextEditor())

{Range} = require 'atom'
{log} = require './logger'
Keymap = require './input-method/keymap'


            startPosition = @editor.getCursorBufferPosition()
            @textBufferMarker = @editor.markBufferRange(new Range startPosition, startPosition)
            @textBufferMarker.onDidChange @dispatchEvent

            # decoration
            @decoration = @editor.decorateMarker @textBufferMarker,
