The intention of the ui file was to not let the paned shrink both children down to nothing, but using <child> for the children effectively overrides the setting of the shrink properties. Fix that by using child properties instead of <child>.
