This may now possibly be fixed.  Previously, the call to enable_user_resize made by Studio allowed the window size to be set to smaller than the minimum size of its children, now the Window is constrained by its children's size so hopefully the bug can no longer be reproduced.