fix(app): preserve terminal selection after mouseup#332

skulidropek merged 1 commit into

mainProverCoderAI/docker-git:mainfrom

issue-331ProverCoderAI/docker-git:issue-331Copy head branch name to clipboard