mirror of
https://github.com/enso-org/enso.git
synced 2024-11-27 15:15:54 +03:00
874e9efe74
Fixes probably #9198 See [this comment](https://github.com/enso-org/enso/issues/9198#issuecomment-1968484269) for justification. TLDR: the diff algorithm is too slow for our huge idmap. The proper fix would be to reduce idmap size. Expect tasks for that soon.
32 lines
671 B
JSON
32 lines
671 B
JSON
{
|
|
"version": "0.2.0",
|
|
"configurations": [
|
|
{
|
|
"type": "java+",
|
|
"request": "launch",
|
|
"name": "Launch Enso File"
|
|
},
|
|
{
|
|
"name": "Listen to 5005",
|
|
"type": "java+",
|
|
"request": "attach",
|
|
"listen": "true",
|
|
"hostName": "localhost",
|
|
"port": "5005"
|
|
},
|
|
{
|
|
"name": "Debug Adapter Protocol",
|
|
"type": "node",
|
|
"debugServer": 4711,
|
|
"request": "attach"
|
|
},
|
|
{
|
|
"type": "node-terminal",
|
|
"name": "Run Script: dev",
|
|
"request": "launch",
|
|
"command": "npm run dev",
|
|
// "env": {"NODE_OPTIONS": "--inspect"},
|
|
"cwd": "${workspaceFolder}/app/gui2"
|
|
}
|
|
]
|
|
} |