(client: Client)
| 827 | } |
| 828 | |
| 829 | export async function maybeNotifyIDEConnected(client: Client) { |
| 830 | await client.notification({ |
| 831 | method: 'ide_connected', |
| 832 | params: { |
| 833 | pid: process.pid, |
| 834 | }, |
| 835 | }) |
| 836 | } |
| 837 | |
| 838 | export function hasAccessToIDEExtensionDiffFeature( |
| 839 | mcpClients: MCPServerConnection[], |