#ifndef MPLAYER_GUI_PL_H
#define MPLAYER_GUI_PL_H

#include <gtk/gtk.h>

extern void ShowPlayList( void );
extern void HidePlayList( void );

extern GtkWidget * create_PlayList (void);

#endif /* MPLAYER_GUI_PL_H */