diff options
Diffstat (limited to 'extension/src')
| -rw-r--r-- | extension/src/activation/environmentSetup.ts | 3 | ||||
| -rw-r--r-- | extension/src/continueIdeClient.ts | 56 |
2 files changed, 30 insertions, 29 deletions
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) { |