diff gui/mplayer/play.h @ 23077:17bf4f4b0715

Gui --> gui
author diego
date Mon, 23 Apr 2007 07:42:42 +0000
parents
children 3f0d00abc073
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gui/mplayer/play.h	Mon Apr 23 07:42:42 2007 +0000
@@ -0,0 +1,34 @@
+
+#ifndef __GUI_PLAY_H
+#define __GUI_PLAY_H
+
+#include "../config.h"
+
+extern int mplGotoTheNext;
+
+extern void mplEnd( void );
+extern void mplFullScreen( void );
+extern void mplPlay( void );
+extern void mplPause( void );
+extern void mplState( void );
+extern void mplPrev( void );
+extern void mplNext( void );
+extern void mplCurr( void );
+
+extern void mplIncAudioBufDelay( void );
+extern void mplDecAudioBufDelay( void );
+
+extern void  mplRelSeek( float s );
+extern void  mplAbsSeek( float s );
+extern float mplGetPosition( void );
+
+extern void mplPlayFork( void );
+extern void mplSigHandler( int s );
+extern void mplPlayerThread( void );
+
+extern void ChangeSkin( char * name );
+extern void EventHandling( void );
+
+extern void mplSetFileName( char * dir,char * name,int type );
+
+#endif