Please ensure that the following checklist has been satisfied before submitting the PR:
[ ] The documentation has been updated, if necessary.
[ ] Screenshots/screencasts have been attached, if there are any visual changes. For interactive or animated visual changes, a screencast is preferred.
[ ] All code follows the
Scala,
Java,
TypeScript,
and
Rust
style guides. In case you are using a language not listed above, follow the Rust style guide.
Pull Request Description
https://github.com/enso-org/enso/assets/1047859/24d7e8cc-3f5c-4644-9d11-7deb5d1a8767
Closes #10276.
Important Notes
Checklist
Please ensure that the following checklist has been satisfied before submitting the PR: