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.
parent
ddce31d6
Please register or sign in to comment