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 | b8067876bc5dd425d491863bd5338f325fea35ed (patch) | |
| tree | 4c3167043c2bffaff5931b77e080a8f84ad52c96 /extension/react-app/src/tabs | |
| parent | 4f3ceee573268fbe9db80fea372198523b5757a6 (diff) | |
| download | sncontinue-b8067876bc5dd425d491863bd5338f325fea35ed.tar.gz sncontinue-b8067876bc5dd425d491863bd5338f325fea35ed.tar.bz2 sncontinue-b8067876bc5dd425d491863bd5338f325fea35ed.zip | |
error handling and step retry
Diffstat (limited to 'extension/react-app/src/tabs')
| -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); + }} /> ); })} |