diff options
author | Aleksey Kladov <[email protected]> | 2020-02-16 17:54:32 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2020-02-16 17:54:32 +0000 |
commit | 5b781de56c94db1f7035b2950eea1c387e6e53fa (patch) | |
tree | 801ad94bb00d4017eb1e0d3adbb96997add6b6f1 /.vscode/launch.json | |
parent | 58e15d12e4211306273b0128cb4a80b552889543 (diff) |
Apply suggestions from code review
Co-Authored-By: Laurențiu Nicola <[email protected]>
Diffstat (limited to '.vscode/launch.json')
-rw-r--r-- | .vscode/launch.json | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/.vscode/launch.json b/.vscode/launch.json index 386599f78..33fc3bdea 100644 --- a/.vscode/launch.json +++ b/.vscode/launch.json | |||
@@ -5,12 +5,13 @@ | |||
5 | 5 | ||
6 | // NOTE: --disable-extensions | 6 | // NOTE: --disable-extensions |
7 | // Disable all installed extensions for increas performance of playground | 7 | // Disable all installed extensions for increas performance of playground |
8 | // and prevent potential problem and collision with developer's extansion | 8 | // Disable all installed extensions to increase performance of the debug instance |
9 | // and prevent potential conflicts with other installed extensions. | ||
9 | 10 | ||
10 | "version": "0.2.0", | 11 | "version": "0.2.0", |
11 | "configurations": [ | 12 | "configurations": [ |
12 | { | 13 | { |
13 | // Used for testing extansion that located in extensionDevelopmentPath | 14 | // Used for testing the extension with the installed LSP server. |
14 | "name": "Run Extension", | 15 | "name": "Run Extension", |
15 | "type": "extensionHost", | 16 | "type": "extensionHost", |
16 | "request": "launch", | 17 | "request": "launch", |
@@ -25,7 +26,7 @@ | |||
25 | "preLaunchTask": "Build Extension" | 26 | "preLaunchTask": "Build Extension" |
26 | }, | 27 | }, |
27 | { | 28 | { |
28 | // Used for testing extansion with local lsp server located in __RA_LSP_SERVER_DEBUG | 29 | // Used for testing theextension with a local build of the LSP server (in `target/debug`). |
29 | "name": "Run Extension (Dev Server)", | 30 | "name": "Run Extension (Dev Server)", |
30 | "type": "extensionHost", | 31 | "type": "extensionHost", |
31 | "request": "launch", | 32 | "request": "launch", |