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
Last Updated: 14 November, 2024
Found something wrong, missing, or unclear on this page?Raise an issue in our repo.