comparison 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
comparison
equal deleted inserted replaced
8718:d630a6f4c7c0 8719:dc27303ae528
1 1
2 #include <gdk/gdkkeysyms.h> 2 #include <gdk/gdkkeysyms.h>
3 #include <gtk/gtk.h> 3 #include <gtk/gtk.h>
4 4
5 #include "common.h" 5 #include "common.h"
6
7 void WidgetDestroy( GtkWidget * widget,GtkWidget ** widget_pointer )
8 {
9 if ( !widget_pointer ) return;
10 gtk_widget_hide( *widget_pointer );
11 gtk_widget_destroy( *widget_pointer );
12 *widget_pointer=NULL;
13 }
6 14
7 GtkWidget * AddDialogFrame( GtkWidget * parent ) 15 GtkWidget * AddDialogFrame( GtkWidget * parent )
8 { 16 {
9 GtkWidget * frame; 17 GtkWidget * frame;
10 frame=AddFrame( NULL,GTK_SHADOW_IN,parent,1 ); 18 frame=AddFrame( NULL,GTK_SHADOW_IN,parent,1 );