> Perhaps either alt-space Unmaximize followed by alt-space maXimize would > work, or even alt+button_3 to resize the window to usability would work.
My bugreport was not for getting a workaround!! I can handle this for myself. This was for the maintainer to get him fixed it (if he cares). Hans
