diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-06-03 14:20:21 -0400 |
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-06-03 14:20:21 -0400 |
| commit | f42b7508736f5a0957ad9fe069c26cf62de0a8d8 (patch) | |
| tree | ca088d564f49d435c2a61167f0c5d2d7e0832abb /extension/react-app/src/tabs/gui.tsx | |
| parent | fb4377a036eb2e6063e2c5b5e4882d079c883d5f (diff) | |
| download | sncontinue-f42b7508736f5a0957ad9fe069c26cf62de0a8d8.tar.gz sncontinue-f42b7508736f5a0957ad9fe069c26cf62de0a8d8.tar.bz2 sncontinue-f42b7508736f5a0957ad9fe069c26cf62de0a8d8.zip | |
error handling and step retry
Diffstat (limited to 'extension/react-app/src/tabs/gui.tsx')
| -rw-r--r-- | extension/react-app/src/tabs/gui.tsx | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/extension/react-app/src/tabs/gui.tsx b/extension/react-app/src/tabs/gui.tsx index 42ad4ed5..a08698a4 100644 --- a/extension/react-app/src/tabs/gui.tsx +++ b/extension/react-app/src/tabs/gui.tsx @@ -231,6 +231,10 @@ function GUI(props: GUIProps) { onReverse={() => { client?.reverseToIndex(index); }} + onRetry={() => { + client?.retryAtIndex(index); + setWaitingForSteps(true); + }} /> ); })} |