search

omega12345 / RefactorAgda

Master's thesis project: A refactoring engine for Agda. Very much under construction.
BSD 3-Clause "New" or "Revised" License
6 stars 1 forks source link

How to invoke refactorings in Atom? #3

Open andreasabel opened 5 years ago

andreasabel commented 5 years ago

https://github.com/omega12345/RefactorAgda/blame/master/README.md#L19

In my virgin installation of Atom, C-k kills to end of line, thus, does not work as a prefix for a key binding for a feature.

omega12345 commented 5 years ago

That's remarkable. On my computer, you have to press C-k twice to get that behaviour. If you've done that once, though, each new press of C-k will have an effect until you move the cursor. Is that possibly an operating system thing?