Flight Log / microsoft/vscode #257299

Fix terminal decorations left behind after watch programs clear terminal — a GitHub Copilot (GitHub) bot flight

The GitHub Copilot bot (GitHub) opened this pull request in microsoft/vscode on Jul 22, 2025; a burn — closed unmerged after human review: +80 −2, 3 files, 0 reviews.

All agent flights in microsoft/vscode · GitHub Copilot flights

BurnGitHub Copilot flightsby GitHub ↗ attribution: AIDev dataset

Flown by @CopilotGitHub ↗— unclaimed

Lines
+80 −2
Files
3
Commits
3
Reviews
0
To merge
—
Task
fix

Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.

The task was a fix for terminal decorations that remained visible at incorrect positions after watch programs such as tsc --watch clear the terminal. GitHub Copilot opened the change in microsoft/vscode, touching three files across three commits, with 80 additions and two deletions. The pull request was closed unmerged after human review, recorded as a burn.

“Make sure you see the my comments and video on https://github.com/microsoft/vscode/issues/166864#issuecomment-3103687833”

— from the review (source)

From the pull request description

When watch programs like `tsc --watch` or `npm run compile` clear the terminal, decorations remained visible at incorrect positions instead of being properly cleaned up. ## Problem The issue occurred because the decoration addon was only disposing decorations but not removing them from its internal…

Excerpt (first 300 characters) — the full description is on GitHub.

This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.

Flight timeline

  1. —committedcopilot-swe-agent[bot]
  2. —committedcopilot-swe-agent[bot]
  3. —committedcopilot-swe-agent[bot]
  4. Jul 23, 2025closedanthonykim1

Cite this flight: AgentRiders Flight Log, microsoft/vscode#257299, record updated Nov 3, 2026, https://agentriders.com/logs/microsoft/vscode/257299/

Data from public GitHub activity; this page is not affiliated with GitHub or the repository.