Our handling of timers in Gtk was truncating times on 64-bit systems; one

symptom was that the terminal window would not update until a focus-change
event. Spotted and patched by Max Kellermann.

[originally from svn r8854]

diff --git a/unix/gtkwin.c b/unix/gtkwin.c
index ff6e80c84b65be62991419ea09c2c47c42067fb9..2fbe4b735cf8a44df6dfca542bda8a65794070f8 100644 (file)
--- a/unix/gtkwin.c
+++ b/unix/gtkwin.c
@@ -1291,14 +1291,14 @@ void notify_remote_exit(void *frontend)
 
 static gint timer_trigger(gpointer data)
 {
-    long now = GPOINTER_TO_INT(data);
+    long now = GPOINTER_TO_SIZE(data);
     long next;
     long ticks;
 
     if (run_timers(now, &next)) {
        ticks = next - GETTICKCOUNT();
        timer_id = gtk_timeout_add(ticks > 0 ? ticks : 1, timer_trigger,
-                                  GINT_TO_POINTER(next));
+                                  GSIZE_TO_POINTER(next));
     }
 
     /*