view Gui/mplayer/gtk/pl.h @ 7390:2357ee501582

fixed to comply with new loader
author alex
date Fri, 13 Sep 2002 21:55:55 +0000
parents 8e9607c5897e
children
line wrap: on
line source


#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