-
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.
208181d4
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.