atom-language-idris
atom-language-idris copied to clipboard
Result of running a command is inserted into the wrong place
If I run a command, for example Ctrl-Alt-C
to perform a case split and then immediately move my cursor before the command has finished executing then the result of the command is inserted at the new position of my cursor instead of where I executed the command.