Skip to content

BUG #15547: Fix broken selection shortcuts.

Selection shortcuts broke since the render widget parenting changed. While this fix is just a clumpsy workaround, it addresses the issue. We need to make this a bit more robust in future.

Fixes BUG #15547

Merge request reports