diff options
Diffstat (limited to 'Gui/mplayer/widgets.h')
| -rw-r--r-- | Gui/mplayer/widgets.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Gui/mplayer/widgets.h b/Gui/mplayer/widgets.h index 7909a4ef3b..d14ea77e69 100644 --- a/Gui/mplayer/widgets.h +++ b/Gui/mplayer/widgets.h @@ -61,4 +61,7 @@ extern void gtkMessageBox( int type,gchar * str ); extern void gtkSetLayer( GtkWidget * wdg ); extern void gtkActive( GtkWidget * wdg ); +extern void gtkIncVisible( void ); +extern void gtkDecVisible( void ); + #endif |