EditTools.BusyRetry Type

EditTools.BusyRetry = (attempt: number, msg: string) => Promise<number | undefined>

handler for retries when an EditTool attempts to start but a backend command is busy and can't finish its work.

Defined in

• editor/frontend/src/EditTool.ts Line 28