Ignore repeated key events for bound shortcuts, adjust visualization min width

[Frizi]

Pull Request Description

Fixes #8538 #9515

All repeated keyboard events handled through defineShortcuts are now ignored. For example, holding ctrl+v no longer pastes nodes repeatedly.

Also adjusted visualization min-width to 200px, since it was a trivial change.

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.

[kazcw]

I think returning false unconditionally in this case risks bugs: If the first event was handled by a shortcut and stopped, but the repeat events are not stopped, they could be handled by something else--which would probably be surprising.

[Frizi]

I'm not sure what else we could do here. Returning true is not really correct either, as we don't handle the event. My reasoning was that since all handlers should perform this check, they all should not do anything else. This is currently true, since we always use the shortcut definitions when working with keyboard events. On the other hand, it leaves the possibility to explicitly allowing repeat key handling when we need it.