2002-07-12 00:53:26 +00:00
|
|
|
|
|
|
|
|
#ifndef __GUI_PL_H
|
|
|
|
|
#define __GUI_PL_H
|
2001-08-25 21:04:29 +00:00
|
|
|
|
2001-11-14 16:05:33 +00:00
|
|
|
#include <gtk/gtk.h>
|
2001-08-25 21:04:29 +00:00
|
|
|
|
2002-07-12 00:53:26 +00:00
|
|
|
extern GtkWidget * PlayList;
|
|
|
|
|
|
|
|
|
|
extern void ShowPlayList( void );
|
2001-11-14 16:05:33 +00:00
|
|
|
extern void HidePlayList( void );
|
2001-08-25 21:04:29 +00:00
|
|
|
|
2002-07-12 00:53:26 +00:00
|
|
|
extern GtkWidget * create_PlayList (void);
|
2001-10-04 20:33:29 +00:00
|
|
|
|
2002-08-26 22:20:58 +00:00
|
|
|
#endif
|
