With debugging turned on, the size of the GUI main frame can be changed.
Authored by: bugman 2011-06-09
Parent: [r12932]
Child: [r12934]
