diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-06-27 23:35:49 -0700 |
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-06-27 23:35:49 -0700 |
| commit | ec4585f2a390186b0828d555c8dff2c65f0fce6a (patch) | |
| tree | 3e343801962fa4c370be771b4cab982fa6cd1dc7 /extension/src/suggestions.ts | |
| parent | 1d754c5d3a993712e8c5e1cb582ac9926185e007 (diff) | |
| download | sncontinue-ec4585f2a390186b0828d555c8dff2c65f0fce6a.tar.gz sncontinue-ec4585f2a390186b0828d555c8dff2c65f0fce6a.tar.bz2 sncontinue-ec4585f2a390186b0828d555c8dff2c65f0fce6a.zip | |
use a more esoteric port than 8000 (65432)
Diffstat (limited to 'extension/src/suggestions.ts')
| -rw-r--r-- | extension/src/suggestions.ts | 16 |
1 files changed, 8 insertions, 8 deletions
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) { |