> > Two possible workarounds: > 1. Give the window focus. > Alt-space, M (move) or R (resize), and then use either your mouse or > arrow keys to do the thing. If R does nothing, the window might be > maximized. With the window menu open, U=unmaximize. >
Thanks, this actually worked. I've now managed to resize it.