atom-language-idris icon indicating copy to clipboard operation
atom-language-idris copied to clipboard

Published 20 hours ago • verified publisher icon idris-hackers

Result of running a command is inserted into the wrong place

Open mpickering opened this issue 8 years ago • 0 comments

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.

mpickering avatar May 28 '16 13:05 mpickering