enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-24 12:51:44 +03:00
Code Issues Projects Releases Wiki Activity
6f3f8cadf9
enso/app/gui/docs/product
History
Adam Obuchowicz a27f19fd02
Reloading file in LS after desynchronization. (#6752) 
Fixes #5203

This PR changes behavior when `text/applyChange` returned error.

Before we always assumed that the change was _not_ applied, and tried to send full synchronization still assuming old file content. But this was not the case on some errors (timeouts for example). Now we instead reopen the file (getting its actual content) and then make a full invalidation.

Also added a shortcut allowing manual file reloading, what may be useful in some kinds of error (and also allowed me testing of reopening file in the application).

# Important Notes
The unit tests of sending text updates were improved: now we actually check if all expected messages are emitted from the IDE.
2023-05-23 08:19:27 +00:00
..
README.md Refactor gui/src/rust/ide to two app/gui and app/ide-desktop (#3157) 2021-11-16 10:04:56 +01:00
searcher.md Refactor gui/src/rust/ide to two app/gui and app/ide-desktop (#3157) 2021-11-16 10:04:56 +01:00
shortcuts.md Reloading file in LS after desynchronization. (#6752) 2023-05-23 08:19:27 +00:00
visualizations.md IDE uses new visualization API (#3661) 2022-09-01 15:33:46 +03:00

README.md

layout title tags
section-summary Product Documentation
product

Enso IDE Product Documentation

This section contains detailed specification of Enso IDE from the user perspective. The implementation is documented in rust code and in the crate's docs directory.