#ifndef PUTTY_UNIX_H
#define PUTTY_UNIX_H
+#ifdef HAVE_CONFIG_H
+# include "uxconfig.h" /* Space to hide it from mkfiles.pl */
+#endif
+
#include <stdio.h> /* for FILENAME_MAX */
#include "charset.h"
#define GETTICKCOUNT getticks
#define TICKSPERSEC 1000 /* we choose to use milliseconds */
#define CURSORBLINK 450 /* no standard way to set this */
+/* getticks() works using gettimeofday(), so it's vulnerable to system clock
+ * changes causing chaos. Therefore, we provide a compensation mechanism. */
+#define TIMING_SYNC
+#define TIMING_SYNC_ANOW
+extern long tickcount_offset;
#define WCHAR wchar_t
#define BYTE unsigned char
/* uxcfg.c */
struct controlbox;
-void unix_setup_config_box(struct controlbox *b, int midsession, void *window);
+void unix_setup_config_box(struct controlbox *b, int midsession);
/* gtkcfg.c */
void gtk_setup_config_box(struct controlbox *b, int midsession, void *window);