fix(web): preserve terminal selection copy#322

skulidropek merged 4 commits into

mainProverCoderAI/docker-git:mainfrom

issue-317-copy-selectionProverCoderAI/docker-git:issue-317-copy-selectionCopy head branch name to clipboard