GTK 3 prep: use g_timeout_add, not gtk_timeout_add.

diff --git a/gtk.c b/gtk.c
index d36be3d704ddcaf461323b2e5f97ea0570e9c3fd..0b2805bbadf295c068069a9b4ecc01ae55779ffa 100644 (file)
--- a/gtk.c
+++ b/gtk.c
@@ -1286,7 +1286,7 @@ void deactivate_timer(frontend *fe)
     if (!fe)
        return;                        /* can happen due to --generate */
     if (fe->timer_active)
-        gtk_timeout_remove(fe->timer_id);
+        g_source_remove(fe->timer_id);
     fe->timer_active = FALSE;
 }
 
@@ -1295,7 +1295,7 @@ void activate_timer(frontend *fe)
     if (!fe)
        return;                        /* can happen due to --generate */
     if (!fe->timer_active) {
-        fe->timer_id = gtk_timeout_add(20, timer_func, fe);
+        fe->timer_id = g_timeout_add(20, timer_func, fe);
        gettimeofday(&fe->last_time, NULL);
     }
     fe->timer_active = TRUE;