Dev 9, Docked window sizes are not saved if made bigger than the standard size

[ja231c]

This is a massive problem on high DPI displays with interface scaling above 100% since you basically have to make them bigger to even see anything. Making them smaller gets saved.