enso/app/gui/view/graph-editor
Stijn ("stain") Seghers 71cbb91e26
Fix #6287: wrong nested breadcrumb ordering (#6617)
Fixes #6287. When selecting a nested breadcrumb, a race condition would happen: all new breadcrumbs were being added in a separately spawned task whose execution was thus indeterministic.

https://github.com/enso-org/enso/assets/607786/73734805-292d-42ce-b08a-060a987d99bb
2023-05-11 14:59:19 +00:00
..
src Fix #6287: wrong nested breadcrumb ordering (#6617) 2023-05-11 14:59:19 +00:00
Cargo.toml Show error pop-up when failing to rename a project (#6366) 2023-05-08 10:12:26 +00:00