 
     atom.workspaceView.eachEditorView (editorView) =>
       editor = editorView.getModel()
-      if @isAgdaFile editor
+      if isAgdaFile editor
         editor.agda = new Agda editorView
 
         # deactivated on default


  serialize: ->
    # agdaModeViewState: @agdaModeView.serialize()

        # apply highlighting after we deactivated it.
        editor.on 'grammar-changed', =>
          grammarIsAgda = editor.getGrammar().name is 'Agda'
          shouldHighlight = editor.agda.loaded and editor.agda.passed
          if grammarIsAgda and not shouldHighlight
            # fuck you atom
            editor.agda.syntax.deactivate()
