vscode-pull-request-github Close multidiff editors when outdated

Close multidiff editors when outdated

Open alexr00 opened this issue 1 year ago • 2 comments

Opening the same PR again can result in outdated multidiff editors as the left can become out of date. These should be closed when the PR is opened.

Feb 16 '24 13:02 alexr00

This requires some work in VS Code core to expose a TabInputMultiDiff type in the tabs API, otherwise an extension can't find which tab to close.

Feb 28 '24 16:02 alexr00

Upstream issue: https://github.com/microsoft/vscode/issues/206411

Feb 28 '24 16:02 alexr00