Bug 42520: Correctly record new initial window size after auto-shrinking
mentioned in merge request !987 (merged)