diff Gui/mplayer/gtk/common.h @ 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 273bdef43012
line wrap: on
line diff
--- a/Gui/mplayer/gtk/common.h	Thu Jan 02 15:38:26 2003 +0000
+++ b/Gui/mplayer/gtk/common.h	Thu Jan 02 15:48:29 2003 +0000
@@ -18,5 +18,6 @@
 extern GtkWidget * AddHScaler( GtkAdjustment * adj,GtkWidget * parent,int digit );
 extern GtkWidget * AddVScaler( GtkAdjustment * adj,GtkWidget * parent,int digit );
 extern GtkWidget * AddComboBox( GtkWidget * parent );
+extern void WidgetDestroy( GtkWidget * widget,GtkWidget ** widget_pointer );
 
 #endif