Skip to content

Remove uneeded spliters from the widget tree

When a Splitter has only one child, it can be removed, and the child can be united with the widget above, unless it's the only splitter - as that holds the main widget.

Merge request reports