CVSROOT: /home/cvs Module name: putty Changes by: simon 02/10/15 17:24:42 Modified files: unix : pterm.c Log message: 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.