Remove unrelated proposed API changes

Copilot · Copilot · commit a39962218f0e · 2025-12-12T10:20:51.000Z
diff --git a/src/@types/vscode.proposed.chatParticipantAdditions.d.ts b/src/@types/vscode.proposed.chatParticipantAdditions.d.ts
@@ -105,7 +105,6 @@ declare module 'vscode' {
 		isComplete?: boolean;
 		toolSpecificData?: ChatTerminalToolInvocationData;
 		fromSubAgent?: boolean;
-		presentation?: 'hidden' | 'hiddenAfterComplete' | undefined;
 
 		constructor(toolName: string, toolCallId: string, isError?: boolean);
 	}

Original file line number	Diff line number	Diff line change
`@@ -105,7 +105,6 @@ declare module 'vscode' {`
`105`	`105`	`isComplete?: boolean;`
`106`	`106`	`toolSpecificData?: ChatTerminalToolInvocationData;`
`107`	`107`	`fromSubAgent?: boolean;`
`108`		`- presentation?: 'hidden' \| 'hiddenAfterComplete' \| undefined;`
`109`	`108`
`110`	`109`	`constructor(toolName: string, toolCallId: string, isError?: boolean);`
`111`	`110`	`}`