From 00bfac62eb7a70244ed34a07cb4cc3117da00ba0 Mon Sep 17 00:00:00 2001 From: Louis Knight-Webb Date: Tue, 24 Jun 2025 23:52:18 +0100 Subject: [PATCH] Task attempt a858e1e1-9dde-47a2-82e8-15daa836b9c5 - Final changes --- .../src/components/tasks/TaskDetailsPanel.tsx | 114 +++++++++--------- 1 file changed, 58 insertions(+), 56 deletions(-) diff --git a/frontend/src/components/tasks/TaskDetailsPanel.tsx b/frontend/src/components/tasks/TaskDetailsPanel.tsx index c3845f91..dac121fd 100644 --- a/frontend/src/components/tasks/TaskDetailsPanel.tsx +++ b/frontend/src/components/tasks/TaskDetailsPanel.tsx @@ -889,90 +889,92 @@ export function TaskDetailsPanel({ )} -
+ {(isAttemptRunning || isStopping) ? ( -

{selectedAttempt ? "Retry task with current executor" : "Start task with current executor"}

+

{isStopping ? "Stopping execution..." : "Stop execution"}

- + ) : ( +
- - - + -

Choose executor

+

{selectedAttempt ? "Retry task with current executor" : "Start task with current executor"}

- - {availableExecutors.map((executor) => ( - setSelectedExecutor(executor.id)} - className={ - selectedExecutor === executor.id - ? "bg-accent" - : "" - } - > - {executor.name} - {config?.executor.type === executor.id && - " (Default)"} - - ))} - - -
+ + + + + + + + + +

Choose executor

+
+
+
+ + {availableExecutors.map((executor) => ( + setSelectedExecutor(executor.id)} + className={ + selectedExecutor === executor.id + ? "bg-accent" + : "" + } + > + {executor.name} + {config?.executor.type === executor.id && + " (Default)"} + + ))} + +
+
+ )} {selectedAttempt && ( <>
- {/* Execution Control Group */} + {/* Dev Server Control Group */}
- {(isAttemptRunning || isStopping) && ( - - - - - - -

{isStopping ? "Stopping execution..." : "Stop execution"}

-
-
-
- )}