Add a small hack to make the window shink when I switch to a smaller main widget.