diff options
Diffstat (limited to 'extension')
| -rw-r--r-- | extension/react-app/src/tabs/gui.tsx | 23 | ||||
| -rw-r--r-- | extension/src/activation/environmentSetup.ts | 3 | ||||
| -rw-r--r-- | extension/src/continueIdeClient.ts | 56 |
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) { |