summaryrefslogtreecommitdiff
path: root/extension/react-app
diff options
context:
space:
mode:
Diffstat (limited to 'extension/react-app')
-rw-r--r--extension/react-app/src/tabs/gui.tsx10
1 files changed, 6 insertions, 4 deletions
diff --git a/extension/react-app/src/tabs/gui.tsx b/extension/react-app/src/tabs/gui.tsx
index 5ddddbfc..42ad4ed5 100644
--- a/extension/react-app/src/tabs/gui.tsx
+++ b/extension/react-app/src/tabs/gui.tsx
@@ -19,6 +19,7 @@ import useContinueGUIProtocol from "../hooks/useWebsocket";
let TopGUIDiv = styled.div`
display: grid;
grid-template-columns: 1fr;
+ overflow: scroll;
`;
let UserInputQueueItem = styled.div`
@@ -37,7 +38,7 @@ function GUI(props: GUIProps) {
const [waitingForSteps, setWaitingForSteps] = useState(false);
const [userInputQueue, setUserInputQueue] = useState<string[]>([]);
const [history, setHistory] = useState<History | undefined>();
- // {
+ // {
// timeline: [
// {
// step: {
@@ -153,8 +154,7 @@ function GUI(props: GUIProps) {
// },
// ],
// current_index: 0,
- // } as any
- // );
+ // } as any);
const client = useContinueGUIProtocol();
@@ -211,7 +211,9 @@ function GUI(props: GUIProps) {
{typeof client === "undefined" && (
<>
<Loader></Loader>
- <p>Server disconnected</p>
+ <p style={{ textAlign: "center" }}>
+ Trying to reconnect with server...
+ </p>
</>
)}
{history?.timeline.map((node: HistoryNode, index: number) => {