removed duplicate stuff out of gtkwidget.[ch].

sopwith, please update your tree before commiting.
-timj

gtk/gtkwidget.c

@@ -2650,24 +2650,6 @@ gtk_widget_get_parent_window   (GtkWidget           *widget)
   return (parent_window != NULL) ? parent_window : widget->parent->window;
 }
 
-/*****************************************
- * gtk_widget_set_style:
- *
- *   arguments:
- *
- *   results:
- *****************************************/
-
-void
-gtk_widget_set_style (GtkWidget *widget,
-		      GtkStyle	*style)
-{
-  g_return_if_fail (widget != NULL);
-  
-  GTK_PRIVATE_SET_FLAG (widget, GTK_USER_STYLE);
-  gtk_widget_set_style_internal (widget, style);
-}
-
 /*****************************************
  * gtk_widget_set_uposition:
  *

gtk/gtkwidget.h

@@ -443,23 +443,6 @@ void	   gtk_widget_set_events	  (GtkWidget	       *widget,
 void	   gtk_widget_set_extension_events (GtkWidget		*widget,
 					    GdkExtensionMode	mode);
 
-GtkWidget*   gtk_widget_get_toplevel  (GtkWidget *widget);
-GtkWidget*   gtk_widget_get_ancestor  (GtkWidget *widget,
-				       gint	  type);
-GdkColormap* gtk_widget_get_colormap  (GtkWidget *widget);
-GdkVisual*   gtk_widget_get_visual    (GtkWidget *widget);
-GtkStyle*    gtk_widget_get_style     (GtkWidget *widget);
-gint	     gtk_widget_get_events    (GtkWidget *widget);
-GdkExtensionMode gtk_widget_get_extension_events    (GtkWidget *widget);
-void	     gtk_widget_get_pointer   (GtkWidget *widget,
-				       gint	 *x,
-				       gint	 *y);
-
-gint	     gtk_widget_is_ancestor (GtkWidget *widget,
-				     GtkWidget *ancestor);
-gint	     gtk_widget_is_child    (GtkWidget *widget,
-				     GtkWidget *child);
-
 GdkExtensionMode gtk_widget_get_extension_events (GtkWidget	*widget);
 GtkWidget*   gtk_widget_get_toplevel	(GtkWidget	*widget);
 GtkWidget*   gtk_widget_get_ancestor	(GtkWidget	*widget,