cursive

Issues at: https://git.io/cursive-issues
cfleming 2020-09-11T00:04:12.074900Z

Ok, I’m going to have a quick go at implementing this. When you say copy, does the original stay in place or get deleted?

cfleming 2020-09-11T00:04:56.075100Z

And I guess you’re talking about the sexp surrounding the point you click on, correct?

cfleming 2020-09-11T01:51:10.075300Z

Ok, the mouse handling here is trickier than I expected. I’ll ask JetBrains how to best handle this.