Select node on any edit

[farmaazon]

Pull Request Description

Fixes #7478

Screencast.from.2024-03-25.15-44-50.webm

Important Notes

Checklist

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,
  and
  Rust
  style guides. In case you are using a language not listed above, follow the Rust style guide.
• All code has been tested:
  • Unit tests have been written where possible.
  • If GUI codebase was changed, the GUI was tested when built using ./run ide build.

[Frizi]

The general solution seems fine, but I think the zIndex being optional has potential to cause serious issues later, so let's address that before merging.

[Frizi]

I assume that right now the default state here is undefined (or rather, as missing field). I think it will cause less issues down the line if we make this field required and explicitly set the zIndex for each created node. That way newly added nodes will always be rendered on top, instead of being under all nodes that happened to have zIndex set to some value.