plugins/gestures/stroke-draw.c

changeset 8555
0f6f88300b00
parent 7631
0e9e516bb6c3
child 9843
4daa0a6b2dd0
--- a/plugins/gestures/stroke-draw.c	Fri Apr 02 02:28:38 2004 +0000
+++ b/plugins/gestures/stroke-draw.c	Fri Apr 02 03:25:48 2004 +0000
@@ -125,7 +125,7 @@
       gdk_pointer_grab (widget->window, FALSE,
 			GDK_BUTTON_RELEASE_MASK, NULL, cursor,
 			event->button.time);
-      timer_id = gtk_timeout_add (GSTROKE_TIMEOUT_DURATION,
+      timer_id = g_timeout_add (GSTROKE_TIMEOUT_DURATION,
 				  gstroke_timeout, widget);
       return TRUE;
 
@@ -139,7 +139,7 @@
 		  original_widget = NULL;
 
 		  if (timer_id > 0)
-			  gtk_timeout_remove (timer_id);
+			  g_source_remove (timer_id);
 
 		  gdk_pointer_ungrab (event->button.time);
 		  timer_id = 0;
@@ -156,7 +156,7 @@
 
       last_mouse_position.invalid = TRUE;
       original_widget = NULL;
-      gtk_timeout_remove (timer_id);
+      g_source_remove (timer_id);
       gdk_pointer_ungrab (event->button.time);
       timer_id = 0;
 

mercurial