mirror of
https://github.com/enso-org/enso.git
synced 2024-11-27 06:32:30 +03:00
858e646328
- related #7954 Changelog: - update: Ydoc starts with the language server on the `localhost:1234` by default. The hostname and ports can be configured by setting environment variables `LANGUAGE_SERVER_YDOC_HOSTNAME` and `LANGUAGE_SERVER_YDOC_PORT` - update: by default `npm dev run` uses the node Ydoc server. You can control it with `POLYGLOT_YDOC_SERVER` env variable. For example, ``` env POLYGLOT_YDOC_SERVER='true' npm --workspace=enso-gui2 run dev ``` To connect to the Ydoc server running on the 1234 port (the one started with the language server) ⠀ ``` env POLYGLOT_YDOC_SERVER='ws://127.0.0.1:1235' npm --workspace=enso-gui2 run dev ``` To connect to the provided URL. Can be useful for debugging when you start a separate Ydoc process. - update: run `npm install` before the engine build. It is required to create the Ydoc JS bundle. |
||
|---|---|---|
| .. | ||
| Mozilla Public License, version 2.0_files | ||
| APACHE2.0 | ||
| Bouncy_Castle_Licence.txt | ||
| BSD-2-Clause | ||
| BSD-3-Clause | ||
| CC0 | ||
| Eclipse_Distribution_License_(New_BSD_License) | ||
| GNU_General_Public_License__version_2__with_the_Classpath_Exception | ||
| GNU_Lesser_General_Public_License | ||
| Go_License | ||
| MIT | ||
| MIT-0 | ||
| Mozilla Public License, version 2.0.html | ||
| Public_Domain | ||
| Unicode_ICU_License | ||
| Universal_Permissive_License__Version_1.0 | ||