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?
And I guess you’re talking about the sexp surrounding the point you click on, correct?
Ok, the mouse handling here is trickier than I expected. I’ll ask JetBrains how to best handle this.