Get position#281

javier-m wants to merge 2 commits into

leanprover:masterleanprover/vscode-lean:masterfrom

timlacroix:get-positiontimlacroix/vscode-lean:get-positionCopy head branch name to clipboard