| 1503 | } |
| 1504 | |
| 1505 | protected renameRun(previousRunId: string, nextRunId: string): void { |
| 1506 | if (previousRunId === nextRunId) return |
| 1507 | |
| 1508 | const existing = this.devtoolsRuns.find((run) => run.id === previousRunId) |
| 1509 | if (!existing) return |
| 1510 | |
| 1511 | const renamed = { ...existing, id: nextRunId, updatedAt: Date.now() } |
| 1512 | this.devtoolsRuns = this.devtoolsRuns |
| 1513 | .filter((run) => run.id !== nextRunId) |
| 1514 | .map((run) => (run.id === previousRunId ? renamed : run)) |
| 1515 | } |
| 1516 | |
| 1517 | protected getProgress(): AIDevtoolsGenerationProgress | null { |
| 1518 | return this.getCoreState().progress |