comparison 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
comparison
equal deleted inserted replaced
8718:d630a6f4c7c0 8719:dc27303ae528
16 extern GtkWidget * AddHSeparator( GtkWidget * parent ); 16 extern GtkWidget * AddHSeparator( GtkWidget * parent );
17 extern GtkWidget * AddHButtonBox( GtkWidget * parent ); 17 extern GtkWidget * AddHButtonBox( GtkWidget * parent );
18 extern GtkWidget * AddHScaler( GtkAdjustment * adj,GtkWidget * parent,int digit ); 18 extern GtkWidget * AddHScaler( GtkAdjustment * adj,GtkWidget * parent,int digit );
19 extern GtkWidget * AddVScaler( GtkAdjustment * adj,GtkWidget * parent,int digit ); 19 extern GtkWidget * AddVScaler( GtkAdjustment * adj,GtkWidget * parent,int digit );
20 extern GtkWidget * AddComboBox( GtkWidget * parent ); 20 extern GtkWidget * AddComboBox( GtkWidget * parent );
21 extern void WidgetDestroy( GtkWidget * widget,GtkWidget ** widget_pointer );
21 22
22 #endif 23 #endif