#ifndef GUI_PL_H
#define GUI_PL_H

#include <gtk/gtk.h>

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

extern GtkWidget * create_PlayList (void);

#endif /* GUI_PL_H */