Potential fix for pull request finding

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
This commit is contained in:
Benjamin Christopher Simmonds
2026-05-04 16:48:51 +02:00
committed by GitHub
parent 1213eeb599
commit 386a2b9104

View File

@@ -139,8 +139,6 @@ export interface IVisibleEditorsChangeEvent {
* Indicates whether the visibility change is the result of an explicit
* user action (`true`) or happened automatically as a side effect
* (e.g. the chat agent opening files it has edited).
*
* When omitted, callers should treat the change as explicit.
*/
readonly isExplicit: boolean;
}