We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 88cec75 commit 5bd7ad7Copy full SHA for 5bd7ad7
keymaps/language-idris.json
@@ -17,7 +17,7 @@
17
"escape": "language-idris:close-information-view"
18
},
19
20
- ".platform-darwin, atom-text-editor[data-grammar~=\"idris\"]": {
+ ".platform-darwin atom-text-editor[data-grammar~=\"idris\"]": {
21
"cmd-i a": "language-idris:add-clause",
22
"cmd-i b": "language-idris:browse-namespace",
23
"cmd-i c": "language-idris:case-split",
0 commit comments