Use the appalling gnome-terminal hack for server-controlled resizes
authorsimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Tue, 15 Oct 2002 16:24:42 +0000 (16:24 +0000)
committersimon <simon@cda61777-01e9-0310-a592-d414129be87e>
Tue, 15 Oct 2002 16:24:42 +0000 (16:24 +0000)
commit51b13830afa67162b152cc71254a1a00d09e0f8e
tree2976870fad88c3386213cec651ec733c1425e4b8
parent894c4762bede6c777444f5322bf4fba8ebf87545
Use the appalling gnome-terminal hack for server-controlled resizes
rather than the gtk_window_set_policy approach; the GNOME people say
that the former is the Right Thing in spite of the latter looking
obviously plausible.

git-svn-id: svn://svn.tartarus.org/sgt/putty@2066 cda61777-01e9-0310-a592-d414129be87e
unix/pterm.c