diff Gui/mplayer/gtk/common.c @ 8719:dc27303ae528

correct widget destroy event handler (thank for D J Hawkey Jr <hawkeyd@visi.com>)
author pontscho
date Thu, 02 Jan 2003 15:48:29 +0000
parents 5b67aed0fc28
children 4a42c0604ce1
line wrap: on
line diff
--- a/Gui/mplayer/gtk/common.c	Thu Jan 02 15:38:26 2003 +0000
+++ b/Gui/mplayer/gtk/common.c	Thu Jan 02 15:48:29 2003 +0000
@@ -4,6 +4,14 @@
 
 #include "common.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;