It should be possible to resize the window by pressing alt+shift+minus. If that doesn't work, you've likely run into a bug.
