
#ifndef __GUI_PL_H
#define __GUI_PL_H

#include <gtk/gtk.h>

extern GtkWidget * PlayList;

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

extern GtkWidget * create_PlayList (void);

#endif
