diff --git a/keymaps/language-idris.json b/keymaps/language-idris.json index 3a2575e..4ea4a7e 100644 --- a/keymaps/language-idris.json +++ b/keymaps/language-idris.json @@ -16,7 +16,7 @@ "ctrl-i enter": "language-idris:open-repl" }, - ".platform-darwin, atom-text-editor[data-grammar~=\"idris\"]": { + ".platform-darwin atom-text-editor[data-grammar~=\"idris\"]": { "cmd-i a": "language-idris:add-clause", "cmd-i b": "language-idris:browse-namespace", "cmd-i c": "language-idris:case-split",