mirror of
https://github.com/enso-org/enso.git
synced 2024-12-18 11:41:38 +03:00
069fcf3928
Closes #5065: when a project can't be renamed, it now shows an error pop-up and stays in edit mode. https://user-images.githubusercontent.com/607786/234025360-6761f7d6-c13c-479c-a0ba-8af5d81f6e87.mp4 |
||
---|---|---|
.. | ||
src | ||
Cargo.toml |