Dmitry Bushev 4864e5b51d Add fileModifiedOnDisk notification (#7239) ... part of #7178 Changelog: - add: `text/fileModifiedOnDisk` notification - update: during the auto-save, check if the file is modified on disk and send the notification. I.e. auto-save does not overwrite the file if it was changed on disk (but the save command does) - update: IDE handles the file-modified-on-disk notification and reloads the module from disk # Important Notes Currently, the auto-save (and the check that the file is modified on disk) is triggered only after the file was edited. The proper check (using the file-watcher service) will be added in the next PR https://github.com/enso-org/enso/assets/357683/ff91f3e6-2f7a-4c01-a745-98cb140e1964		2023-07-10 16:50:14 +00:00
..
src	Add fileModifiedOnDisk notification (#7239)	2023-07-10 16:50:14 +00:00
build.rs	Bump rustc to nightly-2023-01-12 (#4053)	2023-02-02 23:05:25 +00:00
Cargo.toml	Dependency cleaning (#4092)	2023-01-27 23:39:37 +01:00