mirror of
https://github.com/enso-org/enso.git
synced 2024-12-24 16:21:37 +03:00
cf16d32894
Because several tasks require execution context, this is a fast PR making one. # Important Notes * Changes in languageServer.ts and languageServerTypes.ts were directly ported from #7873 * We display warning about missing namespace, because the dashboard does not provide us any. Needs to be fixed at some point. |
||
---|---|---|
.. | ||
gui | ||
gui2 | ||
ide-desktop |