Index: gdk/x11/gdkinput-x11.c
===================================================================
RCS file: /cvs/gnome/gtk+/gdk/x11/gdkinput-x11.c,v
retrieving revision 1.35
diff -u -r1.35 gdkinput-x11.c
--- gdk/x11/gdkinput-x11.c	18 Apr 2004 14:33:07 -0000	1.35
+++ gdk/x11/gdkinput-x11.c	23 Apr 2004 04:20:49 -0000
@@ -588,8 +588,8 @@
        * a valid timestamp.
        */
       if (gdk_event_get_time (event) != GDK_CURRENT_TIME)
-        gdk_x11_window_set_user_time (gdk_window_get_toplevel (input_window->window),
-                                      gdk_event_get_time (event));
+        _gdk_x11_window_set_user_time (gdk_window_get_toplevel (input_window->window),
+                                       gdk_event_get_time (event));
       return TRUE;
   }
 
@@ -654,8 +654,8 @@
        * a valid timestamp.
        */
       if (gdk_event_get_time (event) != GDK_CURRENT_TIME)
-        gdk_x11_window_set_user_time (gdk_window_get_toplevel (input_window->window),
-                                      gdk_event_get_time (event));
+        _gdk_x11_window_set_user_time (gdk_window_get_toplevel (input_window->window),
+                                       gdk_event_get_time (event));
       return TRUE;
     }
 
@@ -690,8 +690,8 @@
        * a valid timestamp.
        */
       if (gdk_event_get_time (event) != GDK_CURRENT_TIME)
-        gdk_x11_window_set_user_time (gdk_window_get_toplevel (input_window->window),
-                                      gdk_event_get_time (event));
+        _gdk_x11_window_set_user_time (gdk_window_get_toplevel (input_window->window),
+                                       gdk_event_get_time (event));
       return TRUE;
     }
 
@@ -710,8 +710,8 @@
        * a valid timestamp.
        */
       if (gdk_event_get_time (event) != GDK_CURRENT_TIME)
-        gdk_x11_window_set_user_time (gdk_window_get_toplevel (input_window->window),
-                                      gdk_event_get_time (event));
+        _gdk_x11_window_set_user_time (gdk_window_get_toplevel (input_window->window),
+                                       gdk_event_get_time (event));
       return TRUE;
   }
 
