X-Git-Url: https://git.distorted.org.uk/~mdw/sgt/putty/blobdiff_plain/d2060a26c5e44b3ffb978cf77a307a57670daf2e..9547a2acebe7707dca4b4ebea17dcc8c2071359d:/putty.h

diff --git a/putty.h b/putty.h
index 95f263b7..4b85aa90 100644
--- a/putty.h
+++ b/putty.h
@@ -214,6 +214,8 @@ struct config_tag {
     int tcp_nodelay;
     /* Proxy options */
     char proxy_exclude_list[512];
+    enum { PROXYDNS_NO, PROXYDNS_AUTO, PROXYDNS_YES } proxy_dns;
+    int even_proxy_localhost;
     enum { PROXY_NONE, PROXY_HTTP, PROXY_SOCKS, PROXY_TELNET } proxy_type;
     char proxy_host[512];
     int proxy_port;
@@ -424,6 +426,10 @@ Mouse_Button translate_button(void *frontend, Mouse_Button b);
 void connection_fatal(void *frontend, char *, ...);
 void fatalbox(char *, ...);
 void modalfatalbox(char *, ...);
+#ifdef macintosh
+#pragma noreturn(fatalbox)
+#pragma noreturn(modalfatalbox)
+#endif
 void beep(void *frontend, int);
 void begin_session(void *frontend);
 void sys_cursor(void *frontend, int x, int y);