diff options
Diffstat (limited to 'Gui/mplayer/gtk/common.c')
| -rw-r--r-- | Gui/mplayer/gtk/common.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Gui/mplayer/gtk/common.c b/Gui/mplayer/gtk/common.c index a021cfde79..721f1f1ad4 100644 --- a/Gui/mplayer/gtk/common.c +++ b/Gui/mplayer/gtk/common.c @@ -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; |