enso-org/enso - enso - gitea: Gitea Service

enso-org/enso

Fork 0

mirror of https://github.com/enso-org/enso.git synced 2024-11-26 08:52:58 +03:00

Commit Graph

Author SHA1 Message Date

Author	SHA1	Message	Date
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
somebody1234	0228022809	Fix lint error when running `compile-server` (#7969 )	2023-10-04 05:11:17 +02:00
Paweł Grabarz	af050f522b	[GUI2] Module contents editing and synchronization (#7938 ) Added bidirectional synchronization of module edits with language server. All document edits made by any of the Yjs peers are sent to language server to apply to the file. Any local file changes cause reload, which is synchronized back to Yjs by finding a diff.	2023-10-02 12:01:03 +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

somebody1234

0228022809

Fix lint error when running compile-server (#7969 )

2023-10-04 05:11:17 +02:00

Paweł Grabarz

af050f522b

[GUI2] Module contents editing and synchronization (#7938 )

Added bidirectional synchronization of module edits with language server. All document edits made by any of the Yjs peers are sent to language server to apply to the file. Any local file changes cause reload, which is synchronized back to Yjs by finding a diff.

2023-10-02 12:01:03 +00:00

3 Commits