diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-06-02 13:44:33 -0400 |
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-06-02 13:44:33 -0400 |
| commit | a6a66f8a8b42eca861b05d6e7ccc0d0c2cfc8706 (patch) | |
| tree | 4a1223bed2d52dbff9ae5e9fb110155e87778a50 /extension/react-app/src | |
| parent | 2c141f3ac1436be9ed5b8cc15ba882c3d91279ac (diff) | |
| download | sncontinue-a6a66f8a8b42eca861b05d6e7ccc0d0c2cfc8706.tar.gz sncontinue-a6a66f8a8b42eca861b05d6e7ccc0d0c2cfc8706.tar.bz2 sncontinue-a6a66f8a8b42eca861b05d6e7ccc0d0c2cfc8706.zip | |
policy + starcoder description fixes
Diffstat (limited to 'extension/react-app/src')
| -rw-r--r-- | extension/react-app/src/tabs/gui.tsx | 10 |
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) => { |