diff options
Diffstat (limited to 'extension/react-app')
| -rw-r--r-- | extension/react-app/src/App.tsx | 6 | ||||
| -rw-r--r-- | extension/react-app/src/hooks/ContinueGUIClientProtocol.ts (renamed from extension/react-app/src/hooks/ContinueNotebookClientProtocol.ts) | 4 | ||||
| -rw-r--r-- | extension/react-app/src/hooks/useContinueGUIProtocol.ts (renamed from extension/react-app/src/hooks/useContinueNotebookProtocol.ts) | 6 | ||||
| -rw-r--r-- | extension/react-app/src/hooks/useWebsocket.ts | 16 | ||||
| -rw-r--r-- | extension/react-app/src/tabs/gui.tsx (renamed from extension/react-app/src/tabs/notebook.tsx) | 16 | 
5 files changed, 24 insertions, 24 deletions
| diff --git a/extension/react-app/src/App.tsx b/extension/react-app/src/App.tsx index 0c40ced1..a51541d0 100644 --- a/extension/react-app/src/App.tsx +++ b/extension/react-app/src/App.tsx @@ -4,7 +4,7 @@ import { Provider } from "react-redux";  import store from "./redux/store";  import WelcomeTab from "./tabs/welcome";  import ChatTab from "./tabs/chat"; -import Notebook from "./tabs/notebook"; +import GUI from "./tabs/gui";  function App() {    return ( @@ -13,8 +13,8 @@ function App() {          <DebugPanel            tabs={[              { -              element: <Notebook />, -              title: "Notebook", +              element: <GUI />, +              title: "GUI",              },              // { element: <MainTab />, title: "Debug Panel" },              // { element: <WelcomeTab />, title: "Welcome" }, diff --git a/extension/react-app/src/hooks/ContinueNotebookClientProtocol.ts b/extension/react-app/src/hooks/ContinueGUIClientProtocol.ts index 75fd7373..18a91de7 100644 --- a/extension/react-app/src/hooks/ContinueNotebookClientProtocol.ts +++ b/extension/react-app/src/hooks/ContinueGUIClientProtocol.ts @@ -1,4 +1,4 @@ -abstract class AbstractContinueNotebookClientProtocol { +abstract class AbstractContinueGUIClientProtocol {    abstract sendMainInput(input: string): void;    abstract reverseToIndex(index: number): void; @@ -10,4 +10,4 @@ abstract class AbstractContinueNotebookClientProtocol {    abstract onStateUpdate(state: any): void;  } -export default AbstractContinueNotebookClientProtocol; +export default AbstractContinueGUIClientProtocol; diff --git a/extension/react-app/src/hooks/useContinueNotebookProtocol.ts b/extension/react-app/src/hooks/useContinueGUIProtocol.ts index b785cc84..a3a1d0c9 100644 --- a/extension/react-app/src/hooks/useContinueNotebookProtocol.ts +++ b/extension/react-app/src/hooks/useContinueGUIProtocol.ts @@ -1,9 +1,9 @@ -import AbstractContinueNotebookClientProtocol from "./ContinueNotebookClientProtocol"; +import AbstractContinueGUIClientProtocol from "./ContinueGUIClientProtocol";  // import { Messenger, WebsocketMessenger } from "../../../src/util/messenger";  import { Messenger, WebsocketMessenger } from "./messenger";  import { VscodeMessenger } from "./vscodeMessenger"; -class ContinueNotebookClientProtocol extends AbstractContinueNotebookClientProtocol { +class ContinueGUIClientProtocol extends AbstractContinueGUIClientProtocol {    messenger: Messenger;    // Server URL must contain the session ID param    serverUrlWithSessionId: string; @@ -46,4 +46,4 @@ class ContinueNotebookClientProtocol extends AbstractContinueNotebookClientProto    }  } -export default ContinueNotebookClientProtocol; +export default ContinueGUIClientProtocol; diff --git a/extension/react-app/src/hooks/useWebsocket.ts b/extension/react-app/src/hooks/useWebsocket.ts index 016fa17d..e762666f 100644 --- a/extension/react-app/src/hooks/useWebsocket.ts +++ b/extension/react-app/src/hooks/useWebsocket.ts @@ -1,15 +1,15 @@  import React, { useEffect, useState } from "react";  import { RootStore } from "../redux/store";  import { useSelector } from "react-redux"; -import ContinueNotebookClientProtocol from "./useContinueNotebookProtocol"; +import ContinueGUIClientProtocol from "./useContinueGUIProtocol";  import { postVscMessage } from "../vscode"; -function useContinueNotebookProtocol(useVscodeMessagePassing: boolean = true) { +function useContinueGUIProtocol(useVscodeMessagePassing: boolean = true) {    const sessionId = useSelector((state: RootStore) => state.config.sessionId);    const serverHttpUrl = useSelector((state: RootStore) => state.config.apiUrl); -  const [client, setClient] = useState< -    ContinueNotebookClientProtocol | undefined -  >(undefined); +  const [client, setClient] = useState<ContinueGUIClientProtocol | undefined>( +    undefined +  );    useEffect(() => {      if (!sessionId || !serverHttpUrl) { @@ -22,12 +22,12 @@ function useContinueNotebookProtocol(useVscodeMessagePassing: boolean = true) {      const serverUrlWithSessionId =        serverHttpUrl.replace("http", "ws") + -      "/notebook/ws?session_id=" + +      "/gui/ws?session_id=" +        encodeURIComponent(sessionId);      console.log("Creating websocket", serverUrlWithSessionId);      console.log("Using vscode message passing", useVscodeMessagePassing); -    const newClient = new ContinueNotebookClientProtocol( +    const newClient = new ContinueGUIClientProtocol(        serverUrlWithSessionId,        useVscodeMessagePassing      ); @@ -36,4 +36,4 @@ function useContinueNotebookProtocol(useVscodeMessagePassing: boolean = true) {    return client;  } -export default useContinueNotebookProtocol; +export default useContinueGUIProtocol; diff --git a/extension/react-app/src/tabs/notebook.tsx b/extension/react-app/src/tabs/gui.tsx index 02c9ff31..5ddddbfc 100644 --- a/extension/react-app/src/tabs/notebook.tsx +++ b/extension/react-app/src/tabs/gui.tsx @@ -14,9 +14,9 @@ import StepContainer from "../components/StepContainer";  import { useSelector } from "react-redux";  import { RootStore } from "../redux/store";  import useContinueWebsocket from "../hooks/useWebsocket"; -import useContinueNotebookProtocol from "../hooks/useWebsocket"; +import useContinueGUIProtocol from "../hooks/useWebsocket"; -let TopNotebookDiv = styled.div` +let TopGUIDiv = styled.div`    display: grid;    grid-template-columns: 1fr;  `; @@ -29,11 +29,11 @@ let UserInputQueueItem = styled.div`    text-align: center;  `; -interface NotebookProps { +interface GUIProps {    firstObservation?: any;  } -function Notebook(props: NotebookProps) { +function GUI(props: GUIProps) {    const [waitingForSteps, setWaitingForSteps] = useState(false);    const [userInputQueue, setUserInputQueue] = useState<string[]>([]);    const [history, setHistory] = useState<History | undefined>(); @@ -156,7 +156,7 @@ function Notebook(props: NotebookProps) {    // } as any    // ); -  const client = useContinueNotebookProtocol(); +  const client = useContinueGUIProtocol();    useEffect(() => {      console.log("CLIENT ON STATE UPDATE: ", client, client?.onStateUpdate); @@ -207,7 +207,7 @@ function Notebook(props: NotebookProps) {    // const iterations = useSelector(selectIterations);    return ( -    <TopNotebookDiv> +    <TopGUIDiv>        {typeof client === "undefined" && (          <>            <Loader></Loader> @@ -258,8 +258,8 @@ function Notebook(props: NotebookProps) {          }}        ></MainTextInput>        <ContinueButton onClick={onMainTextInput}></ContinueButton> -    </TopNotebookDiv> +    </TopGUIDiv>    );  } -export default Notebook; +export default GUI; | 
