Ilya Bogdanov 654a8351c8 Prune unused ids from metadata on loading file (#4033) ... This PR fixes a bug reported in [Task](https://www.pivotaltracker.com/story/show/184159167). To reproduce the issue, one can do the following steps: 1. Create a new project in the IDE. 2. Check the metadata section in the `Main.enso` file – `IdeMetadata` (a JSON object starting with `"ide":`) contains info for two nodes. 3. Edit the project in the external editor. For example, replace the expression of the second node. 4. Open a project in the IDE and observe the metadata. Now `IdeMetadata` contains three nodes – one unmodified, one added, and one no longer present. It leads to constantly growing metadata if you use an external editor. This PR fixes the issue by pruning unused node metadata on loading. No visual changes to the IDE were made.		2023-01-11 11:13:31 +00:00
..
src	Prune unused ids from metadata on loading file (#4033)	2023-01-11 11:13:31 +00:00
tests	Prune unused ids from metadata on loading file (#4033)	2023-01-11 11:13:31 +00:00
.gitignore	Refactor gui/src/rust/ide to two app/gui and app/ide-desktop (#3157)	2021-11-16 10:04:56 +01:00
build.rs	Build script merge (#3743)	2022-10-10 23:38:48 +02:00
Cargo.toml	Bump wasm-bindgen (#3971)	2022-12-13 22:20:25 +01:00