mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-07-14 17:47:33 -05:00

insist on finding a bit of spare screen to put it in. Still pondering whether it's sensible to do this with the "change settings" box as well. [originally from svn r8970]