()
| 26 | }; |
| 27 | export type Diagnostic = React.ReactNode; |
| 28 | export function buildSandboxProperties(): Property[] { |
| 29 | if ("external" !== 'ant') { |
| 30 | return []; |
| 31 | } |
| 32 | const isSandboxed = SandboxManager.isSandboxingEnabled(); |
| 33 | return [{ |
| 34 | label: 'Bash Sandbox', |
| 35 | value: isSandboxed ? 'Enabled' : 'Disabled' |
| 36 | }]; |
| 37 | } |
| 38 | export function buildIDEProperties(mcpClients: MCPServerConnection[], ideInstallationStatus: IDEExtensionInstallationStatus | null = null, theme: ThemeName): Property[] { |
| 39 | const ideClient = mcpClients?.find(client => client.name === 'ide'); |
| 40 | if (ideInstallationStatus) { |
no test coverage detected