fixed websockets issue

3 files changed, 42 insertions, 40 deletions

diff --git a/extension/react-app/src/tabs/gui.tsx b/extension/react-app/src/tabs/gui.tsx
index 3e0fce6d..39925fc5 100644
--- a/extension/react-app/src/tabs/gui.tsx
+++ b/extension/react-app/src/tabs/gui.tsx
@@ -58,13 +58,13 @@ function GUI(props: GUIProps) {
   const [dataSwitchChecked, setDataSwitchChecked] = useState(false);
   const dataSwitchOn = useSelector(
     (state: RootStore) => state.config.dataSwitchOn
-  )
+  );
 
   useEffect(() => {
     if (typeof dataSwitchOn !== "undefined") {
-      setDataSwitchChecked(dataSwitchOn)
+      setDataSwitchChecked(dataSwitchOn);
     }
-  }, [dataSwitchOn])
+  }, [dataSwitchOn]);
 
   const [usingFastModel, setUsingFastModel] = useState(false);
   const [waitingForSteps, setWaitingForSteps] = useState(false);
@@ -548,9 +548,9 @@ function GUI(props: GUIProps) {
         }}
         hidden={!showDataSharingInfo}
       >
-        By turning on this switch, you will begin collecting accepted and 
-        rejected suggestions in .continue/suggestions.json. This data is 
-        stored locally on your machine and not sent anywhere.
+        By turning on this switch, you will begin collecting accepted and
+        rejected suggestions in .continue/suggestions.json. This data is stored
+        locally on your machine and not sent anywhere.
         <br />
         <br />
         <b>
@@ -583,15 +583,13 @@ function GUI(props: GUIProps) {
                 vscMachineId: vscMachineId,
                 dataSwitchChecked: !dataSwitchChecked,
               });
-              postVscMessage("toggleDataSwitch", {on: !dataSwitchChecked})
+              postVscMessage("toggleDataSwitch", { on: !dataSwitchChecked });
               setDataSwitchChecked((prev) => !prev);
             }}
             onColor="#12887a"
             checked={dataSwitchChecked}
           />
-          <span style={{ cursor: "help", fontSize: "14px" }}>
-            Collect Data
-          </span>
+          <span style={{ cursor: "help", fontSize: "14px" }}>Collect Data</span>
         </div>
         <HeaderButtonWithText
           onClick={() => {
@@ -616,7 +614,10 @@ function GUI(props: GUIProps) {
         >
           <Trash size="1.6em" />
         </HeaderButtonWithText>
-        <a href="https://continue.dev/docs/how-to-use-continue" className="no-underline">
+        <a
+          href="https://continue.dev/docs/how-to-use-continue"
+          className="no-underline"
+        >
           <HeaderButtonWithText text="Docs">
             <BookOpen size="1.6em" />
           </HeaderButtonWithText>
diff --git a/extension/src/activation/environmentSetup.ts b/extension/src/activation/environmentSetup.ts
index 2d9afaec..f1aace77 100644
--- a/extension/src/activation/environmentSetup.ts
+++ b/extension/src/activation/environmentSetup.ts
@@ -71,7 +71,8 @@ async function getPythonPipCommands() {
   }
 
   const version = stdout.split(" ")[1];
-  if (version < "3.7") {
+  const [major, minor] = version.split(".");
+  if (parseInt(major) !== 3 || parseInt(minor) < 7) {
     vscode.window.showErrorMessage(
       "Continue requires Python3 version 3.7 or greater. Please update your Python3 installation, reload VS Code, and try again."
     );
diff --git a/extension/src/continueIdeClient.ts b/extension/src/continueIdeClient.ts
index 1ccc070c..b179cbf3 100644
--- a/extension/src/continueIdeClient.ts
+++ b/extension/src/continueIdeClient.ts
@@ -37,34 +37,34 @@ class IdeProtocolClient {
     });
 
     // Setup listeners for any file changes in open editors
-    vscode.workspace.onDidChangeTextDocument((event) => {
-      if (this._makingEdit === 0) {
-        let fileEdits: FileEditWithFullContents[] = event.contentChanges.map(
-          (change) => {
-            return {
-              fileEdit: {
-                filepath: event.document.uri.fsPath,
-                range: {
-                  start: {
-                    line: change.range.start.line,
-                    character: change.range.start.character,
-                  },
-                  end: {
-                    line: change.range.end.line,
-                    character: change.range.end.character,
-                  },
-                },
-                replacement: change.text,
-              },
-              fileContents: event.document.getText(),
-            };
-          }
-        );
-        this.messenger?.send("fileEdits", { fileEdits });
-      } else {
-        this._makingEdit--;
-      }
-    });
+    // vscode.workspace.onDidChangeTextDocument((event) => {
+    //   if (this._makingEdit === 0) {
+    //     let fileEdits: FileEditWithFullContents[] = event.contentChanges.map(
+    //       (change) => {
+    //         return {
+    //           fileEdit: {
+    //             filepath: event.document.uri.fsPath,
+    //             range: {
+    //               start: {
+    //                 line: change.range.start.line,
+    //                 character: change.range.start.character,
+    //               },
+    //               end: {
+    //                 line: change.range.end.line,
+    //                 character: change.range.end.character,
+    //               },
+    //             },
+    //             replacement: change.text,
+    //           },
+    //           fileContents: event.document.getText(),
+    //         };
+    //       }
+    //     );
+    //     this.messenger?.send("fileEdits", { fileEdits });
+    //   } else {
+    //     this._makingEdit--;
+    //   }
+    // });
   }
 
   async handleMessage(messageType: string, data: any) {