Playtime: Changing window size should ideally just change main area dimensions #1189
Description
At the moment, it changes the width/height of each pane. But that's not very practical.
{{ message }}
At the moment, it changes the width/height of each pane. But that's not very practical.