# HG changeset patch
# User pontscho
# Date 999173832 0
# Node ID 7e3136adcfb1d1d14a3303f324e840ce033edad6
# Parent  bd8c6c1b91ce49d8bcb789c212cc7504358436da
fix play->pause bug

diff -r bd8c6c1b91ce -r 7e3136adcfb1 Gui/mplayer/play.c
--- a/Gui/mplayer/play.c	Thu Aug 30 12:08:21 2001 +0000
+++ b/Gui/mplayer/play.c	Thu Aug 30 12:17:12 2001 +0000
@@ -57,7 +57,7 @@
 
 void mplPlay( void )
 {
- if ( !Filename ) return;
+ if ( !strlen( mplShMem->Filename ) ) return;
  if ( mplShMem->Playing ) mplStop();
 // ---
 printf("%%%%%% PLAY  \n");
@@ -76,11 +76,8 @@
 
 void mplResize( unsigned int X,unsigned int Y,unsigned int width,unsigned int height )
 {
-
-printf("mplResize(%d,%d,%d,%d)  \n",X,Y,width,height);
-	vo_setwindowsize( width,height );
-        vo_resize=1;
-
+ vo_setwindowsize( width,height );
+ vo_resize=1;
 }
 
 void mplMPlayerInit( int argc,char* argv[], char *envp[] )