Fix issue #129#150

vic0103520 wants to merge 3 commits intobanacorn:masterbanacorn/agda-mode-vscode:masterfrom

vic0103520:issue-129vic0103520/agda-mode-vscode:issue-129Copy head branch name to clipboard