diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-06-30 02:40:34 -0700 |
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-06-30 02:40:34 -0700 |
| commit | b752b25481c8f2e2be26ce7db1f80d15dfc339d0 (patch) | |
| tree | 70c7ea246a288ef1e99bc5739b8bafd9c96f4763 /extension/src/continueIdeClient.ts | |
| parent | b270153bdd1053b64712e193fd1b79b436b8a8bc (diff) | |
| download | sncontinue-b752b25481c8f2e2be26ce7db1f80d15dfc339d0.tar.gz sncontinue-b752b25481c8f2e2be26ce7db1f80d15dfc339d0.tar.bz2 sncontinue-b752b25481c8f2e2be26ce7db1f80d15dfc339d0.zip | |
fixed websockets issue
Diffstat (limited to 'extension/src/continueIdeClient.ts')
| -rw-r--r-- | extension/src/continueIdeClient.ts | 56 |
1 files changed, 28 insertions, 28 deletions
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) { |