Closed jmarolf closed 8 years ago
FWIW, it might be worth persisting this information so that you don't have to resize everything on every start up.
FWIW, it might be worth persisting this information so that you don't have to resize everything on every start up.