mirror of
https://github.com/enso-org/enso.git
synced 2024-11-24 00:27:16 +03:00
bedffdf856
Fixes #4963 We didn't ignore `start_editing` events for the nodes already being edited. https://user-images.githubusercontent.com/6566674/216616037-3edcd48c-2557-466b-ba66-c0475ccbddbd.mp4 |
||
---|---|---|
.. | ||
gui | ||
ide-desktop |