@ivory @todd macOS bug report: every time I close and reopen the main window of the app, its vertical size shrinks slightly. It's easiest to see by closing the window then reopening it over and over quickly.

Took me a while to figure out what was happening, since I mostly just noticed that every so often I needed to stretch the window again 😂