`Change Settings' now behaves sensibly w.r.t. window size.

[u/mdw/putty] / putty.h

diff --git a/putty.h b/putty.h
index a2bdeb1..033b581 100644 (file)
--- a/putty.h
+++ b/putty.h
@@ -284,6 +284,7 @@ void showabout (HWND);
 void verify_ssh_host_key(char *host, int port, char *keytype,
                          char *keystr, char *fingerprint);
 void registry_cleanup(void);
+void force_normal(HWND hwnd);
 
 GLOBAL int nsessions;
 GLOBAL char **sessions;