--- ./xs/GtkWidget.xs.tv2	2003-08-28 14:00:10.070941936 +0200
+++ ./xs/GtkWidget.xs	2003-08-28 14:00:04.223830832 +0200
@@ -651,14 +651,19 @@
  #
  #/* Functions for setting directionality for widgets
  # */
- #
- #void             gtk_widget_set_direction         (GtkWidget        *widget,
- #			'GtkWindow.GtkVBox.hbox 0.GtkLabel			   GtkTextDirection  dir);
- #GtkTextDirection gtk_widget_get_direction         (GtkWidget        *widget);
- #
- #void             gtk_widget_set_default_direction (GtkTextDirection  dir);
- #GtkTextDirection gtk_widget_get_default_direction (void);
- #
+
+void
+gtk_widget_set_direction (GtkWidget *widget, GtkTextDirection  dir);
+
+GtkTextDirection
+gtk_widget_get_direction (GtkWidget *widget);
+
+void
+gtk_widget_set_default_direction (GtkTextDirection  dir);
+
+GtkTextDirection
+gtk_widget_get_default_direction ();
+
  #/* Counterpart to gdk_window_shape_combine_mask.
  # */
  #void	     gtk_widget_shape_combine_mask (GtkWidget *widget,