Allow splash screen window to be resizable

[sergeichestakov]

Why

It's been one of our most common complaints

What changed

Allow splash screen window to be resizable (still has the same min height/width as before and also doesn't persist height across sessions)

Test plan

• Open app
• Resize splash screen window

[szymonkaliski]

I think we also have to update getSplashScreenWindowBounds() as right now it hardcodes width/height

[sergeichestakov]

oh no I'm intentionally not restoring the previous width/height here. see PR description

[szymonkaliski]

yea but why? I think we should be consistent -- we store position and size of the main window, we should do the same here if we allow resizing

[sergeichestakov]

The rational here is that we should always default to this size since it's what we've optimized for in the UI. I'm not sure there would be an expectation that the size here is persisted like with repl windows.

Also feels more ergonomic in the case where you open multiple new windows

[szymonkaliski]

I'm not sold on this, I think we should persist both the size and the position, or neither of them (so the splash screen always opens in the center of the screen with the default size, which I also like).
But, this also feels like a bikeshed, so if you're convinced this is the way to go feel free to merge :)

[sergeichestakov]

I think we should persist both the size and the position, or neither of them

hmm fair but we only persist the later now. didn't want to change that behavior in the context of this change since that's a separate debate. but yeah let's try this and see how it feels then we can follow up