2 Commits

Author	SHA1	Message	Date
Paweł Grabarz	b286adaae4	Split ydoc server into separate module (#10735) ... # Important Notes The command to run the gui dev environment has been changed. Invoking the old command will print a message about that. From now on, use `pnpm dev:gui2` in repository root.	2024-08-08 12:12:05 +00:00
Paweł Grabarz	ad0c1bc188	[GUI2] Fix and add tests for delta format translation. (#7968) ... Fixes #7967 The text updates should no longer be rejected after applying edits containing newlines. The tricky update translation logic was also covered with property-based unit tests. https://github.com/enso-org/enso/assets/919491/0bfb6181-7244-4eff-8d72-5b1a4630b9a6	2023-10-04 10:53:54 +00:00