--- ./xs/GdkWindow.xs.tv	2003-07-09 17:03:50.000000000 +0200
+++ ./xs/GdkWindow.xs	2003-07-09 17:04:03.000000000 +0200
@@ -584,13 +584,13 @@
  ##void
  ##gdk_window_process_all_updates (void)
  ##	void
- ##
+
  ## void gdk_window_process_updates (GdkWindow *window, gboolean update_children)
- ##void
- ##gdk_window_process_updates (window, update_children)
- ##	GdkWindow *window
- ##	gboolean update_children
- ##
+void
+gdk_window_process_updates (window, update_children)
+	GdkWindow *window
+	gboolean update_children
+
  ## ## void gdk_window_constrain_size (GdkGeometry *geometry, guint flags, gint width, gint height, gint *new_width, gint *new_height)
  ##void
  ##gdk_window_constrain_size (geometry, flags, width, height)