# HG changeset patch
# User ib
# Date 1364654015 0
# Node ID e7bc0058139a4a1bf8b9a076d2b74e18d555d2c2
# Parent  d154d0035cb0db2e58821ef64a9e427811a8a931
Remove WidgetDestroy().

It's not the best idea to call gtk_widget_destroy() while the object
is currently being destroyed.

All former usages of WidgetDestroy() have been replaced, so it's
obsolete now.

diff -r d154d0035cb0 -r e7bc0058139a gui/dialog/tools.c
--- a/gui/dialog/tools.c	Sat Mar 30 14:32:07 2013 +0000
+++ b/gui/dialog/tools.c	Sat Mar 30 14:33:35 2013 +0000
@@ -21,14 +21,6 @@
 
 #include "tools.h"
 
-void WidgetDestroy( GtkWidget * widget,GtkWidget ** widget_pointer )
-{
- if ( !widget_pointer ) return;
- gtk_widget_hide( *widget_pointer );
- gtk_widget_destroy( *widget_pointer );
- *widget_pointer=NULL;
-}
-
 GtkWidget * AddDialogFrame( GtkWidget * parent )
 {
  GtkWidget * frame;
diff -r d154d0035cb0 -r e7bc0058139a gui/dialog/tools.h
--- a/gui/dialog/tools.h	Sat Mar 30 14:32:07 2013 +0000
+++ b/gui/dialog/tools.h	Sat Mar 30 14:33:35 2013 +0000
@@ -36,6 +36,5 @@
 GtkWidget * AddHScaler( GtkAdjustment * adj, GtkWidget * parent, int digit );
 GtkWidget * AddVScaler( GtkAdjustment * adj, GtkWidget * parent, int digit );
 GtkWidget * AddComboBox( GtkWidget * parent );
-void WidgetDestroy( GtkWidget * widget, GtkWidget ** widget_pointer );
 
 #endif /* MPLAYER_GUI_TOOLS_H */