extern Backend pty_backend;
+#define BROKEN_PIPE_ERROR_CODE EPIPE /* used in sshshare.c */
+
typedef uint32_t uint32; /* C99: uint32_t defined in stdint.h */
#define PUTTY_UINT32_DEFINED
int reallyclose(void *frontend);
#ifdef MAY_REFER_TO_GTK_IN_HEADERS
int messagebox(GtkWidget *parentwin, const char *title,
- const char *msg, int minwid, ...);
+ const char *msg, int minwid, int selectable, ...);
#endif
/* Things pterm.c needs from {ptermm,uxputty}.c */