2019-12-09 09:54:24 +01:00
|
|
|
// A launch configuration that launches the extension inside a new window
|
2018-04-20 20:07:36 +02:00
|
|
|
{
|
2019-12-09 09:54:24 +01:00
|
|
|
"version": "0.1.0",
|
|
|
|
"configurations": [{
|
|
|
|
"name": "Launch Extension",
|
|
|
|
"type": "extensionHost",
|
|
|
|
"request": "launch",
|
|
|
|
"runtimeExecutable": "${execPath}",
|
|
|
|
"args": ["--extensionDevelopmentPath=${workspaceRoot}"],
|
|
|
|
"preLaunchTask": "build"
|
|
|
|
}]
|
2019-01-31 21:35:51 +01:00
|
|
|
}
|