```coffeescript
# Keybindings require three things to be fully defined: A selector that is
# matched against the focused element, the keystroke and the command to
# execute.
#}
# Below is a basic keybinding which registers on all platforms by applying to
# the root workspace element.

# For more detailed documentation see
# https://atom.io/docs/latest/advanced/keymaps
'.editor.agda':
  'ctrl-c ctrl-l': 'agda-mode:load'
  'ctrl-c ctrl-x ctrl-q': 'agda-mode:quit'
  'ctrl-c ctrl-x ctrl-r': 'agda-mode:restart'
  'ctrl-c ctrl-f': 'agda-mode:next-goal'
  'ctrl-c ctrl-b': 'agda-mode:previous-goal'
  'ctrl-c ctrl-space': 'agda-mode:give'
  'ctrl-c ctrl-t': 'agda-mode:goal-type'
  'ctrl-c ctrl-e': 'agda-mode:context'
  'ctrl-c ctrl-,': 'agda-mode:goal-type-and-context'
  'ctrl-c ctrl-.': 'agda-mode:goal-type-and-inferred-type'
  'ctrl-c ctrl-r': 'agda-mode:refine'
  'ctrl-c ctrl-c': 'agda-mode:case'
  'ctrl-c ctrl-a': 'agda-mode:auto'
  'ctrl-c ctrl-n': 'agda-mode:normalize'
  '\\': 'agda-mode:input-symbol'
```

Use the atom-text-editor tag instead of the editor class.
user
```coffeescript
# Keybindings require three things to be fully defined: A selector that is
# matched against the focused element, the keystroke and the command to
# execute.
#}
# Below is a basic keybinding which registers on all platforms by applying to
# the root workspace element.

# For more detailed documentation see
# https://atom.io/docs/latest/advanced/keymaps
'.atom-text-editor.agda':
  'ctrl-c ctrl-l': 'agda-mode:load'
  'ctrl-c ctrl-x ctrl-q': 'agda-mode:quit'
  'ctrl-c ctrl-x ctrl-r': 'agda-mode:restart'
  'ctrl-c ctrl-f': 'agda-mode:next-goal'
  'ctrl-c ctrl-b': 'agda-mode:previous-goal'
  'ctrl-c ctrl-space': 'agda-mode:give'
  'ctrl-c ctrl-t': 'agda-mode:goal-type'
  'ctrl-c ctrl-e': 'agda-mode:context'
  'ctrl-c ctrl-,': 'agda-mode:goal-type-and-context'
  'ctrl-c ctrl-.': 'agda-mode:goal-type-and-inferred-type'
  'ctrl-c ctrl-r': 'agda-mode:refine'
  'ctrl-c ctrl-c': 'agda-mode:case'
  'ctrl-c ctrl-a': 'agda-mode:auto'
  'ctrl-c ctrl-n': 'agda-mode:normalize'
  '\\': 'agda-mode:input-symbol'
```
assistant