Skip to content

Close outdated multidiff editors when PR is reopened #8256

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
alexr00 merged 9 commits into from
Jan 5, 2026
+49 −0
Merged

Close outdated multidiff editors when PR is reopened #8256

Show file tree
Hide file tree
Changes from 5 commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
a946760
Initial plan
Copilot Dec 10, 2025
8425e7c
Initial plan for closing outdated multidiff editors
Copilot Dec 10, 2025
27b34de
Close outdated multidiff editors when PR is reopened
Copilot Dec 10, 2025
897facd
Refactor multidiff editor closing based on code review feedback
Copilot Dec 10, 2025
0c87e71
Add documentation comments based on code review feedback
Copilot Dec 10, 2025
05e8420
Revert formatting changes, keep only functional changes
Copilot Dec 18, 2025
793ea80
Add TabInputTextMultiDiff API proposal
alexr00 Dec 18, 2025
c453eae
Use TabInputTextMultiDiff API instead of workaround
Copilot Dec 18, 2025
28b76d5
Clean up
alexr00 Dec 18, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions src/@types/vscode.proposed.chatParticipantAdditions.d.ts
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -105,6 +105,7 @@ declare module 'vscode' {
isComplete?: boolean;
toolSpecificData?: ChatTerminalToolInvocationData;
fromSubAgent?: boolean;
presentation?: 'hidden' | 'hiddenAfterComplete' | undefined;

constructor(toolName: string, toolCallId: string, isError?: boolean);
}
Expand Down
Loading