mirror of
https://github.com/enso-org/enso.git
synced 2024-11-22 22:10:15 +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 | ||
tests | ||
Cargo.toml | ||
webdriver.json |