diff options
Diffstat (limited to 'extension/src')
-rw-r--r-- | extension/src/activation/environmentSetup.ts | 2 | ||||
-rw-r--r-- | extension/src/bridge.ts | 4 | ||||
-rw-r--r-- | extension/src/suggestions.ts | 16 |
3 files changed, 11 insertions, 11 deletions
diff --git a/extension/src/activation/environmentSetup.ts b/extension/src/activation/environmentSetup.ts index e4f8d6ed..168c79ad 100644 --- a/extension/src/activation/environmentSetup.ts +++ b/extension/src/activation/environmentSetup.ts @@ -218,7 +218,7 @@ export async function startContinuePythonServer() { // Check vscode settings const serverUrl = getContinueServerUrl(); - if (serverUrl !== "http://localhost:8000") { + if (serverUrl !== "http://localhost:65432") { return; } diff --git a/extension/src/bridge.ts b/extension/src/bridge.ts index b0fdafa7..92ba4044 100644 --- a/extension/src/bridge.ts +++ b/extension/src/bridge.ts @@ -48,7 +48,7 @@ export function get_api_url() { if (config.API_URL) { return config.API_URL; } - return "http://localhost:8000"; + return "http://localhost:65432"; } const API_URL = get_api_url(); @@ -62,7 +62,7 @@ export function getContinueServerUrl() { } return ( vscode.workspace.getConfiguration("continue").get<string>("serverUrl") || - "http://localhost:8000" + "http://localhost:65432" ); } diff --git a/extension/src/suggestions.ts b/extension/src/suggestions.ts index 6e5f52ac..c9e29ed5 100644 --- a/extension/src/suggestions.ts +++ b/extension/src/suggestions.ts @@ -37,18 +37,18 @@ const oldDecorationType = vscode.window.createTextEditorDecorationType({ const newSelDecorationType = vscode.window.createTextEditorDecorationType({ backgroundColor: "rgb(0, 255, 0, 0.25)", isWholeLine: true, - after: { - contentText: "Press ctrl+shift+enter to accept", - margin: "0 0 0 1em", - }, + // after: { + // contentText: "Press ctrl+shift+enter to accept", + // margin: "0 0 0 1em", + // }, }); const oldSelDecorationType = vscode.window.createTextEditorDecorationType({ backgroundColor: "rgb(255, 0, 0, 0.25)", isWholeLine: true, - after: { - contentText: "Press ctrl+shift+enter to reject", - margin: "0 0 0 1em", - }, + // after: { + // contentText: "Press ctrl+shift+enter to reject", + // margin: "0 0 0 1em", + // }, }); export function rerenderDecorations(editorUri: string) { |