diff options
Diffstat (limited to 'Gui/mplayer/gtk/common.h')
-rw-r--r-- | Gui/mplayer/gtk/common.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Gui/mplayer/gtk/common.h b/Gui/mplayer/gtk/common.h index 6aecc11dc5..e0bdc29c73 100644 --- a/Gui/mplayer/gtk/common.h +++ b/Gui/mplayer/gtk/common.h @@ -18,5 +18,6 @@ extern GtkWidget * AddHButtonBox( GtkWidget * parent ); 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 |