# HG changeset patch # User pontscho # Date 1001430838 0 # Node ID 041483da104e43f34ad39efe69e67139d9aafce0 # Parent b55163894e30f30ee2c314470081f0a3b19badf9 stop bug fix. diff -r b55163894e30 -r 041483da104e Gui/mplayer/play.c --- a/Gui/mplayer/play.c Tue Sep 25 14:00:19 2001 +0000 +++ b/Gui/mplayer/play.c Tue Sep 25 15:13:58 2001 +0000 @@ -50,15 +50,15 @@ mplShMem->TimeSec=0; mplShMem->Position=0; mplShMem->AudioType=0; - mplSubRender=1; - wsPostRedisplay( &appMPlayer.subWindow ); - if ( !mplShMem->Playing ) return; +// if ( !mplShMem->Playing ) return; if ( !appMPlayer.subWindow.isFullScreen ) { wsMoveWindow( &appMPlayer.subWindow,appMPlayer.sub.x,appMPlayer.sub.y ); wsResizeWindow( &appMPlayer.subWindow,appMPlayer.sub.width,appMPlayer.sub.height ); } mplSubRender=1; + wsClearWindow( appMPlayer.subWindow ); + wsSetBackgroundRGB( &appMPlayer.subWindow,appMPlayer.subR,appMPlayer.subG,appMPlayer.subB ); wsPostRedisplay( &appMPlayer.subWindow ); } diff -r b55163894e30 -r 041483da104e mplayer.c --- a/mplayer.c Tue Sep 25 14:00:19 2001 +0000 +++ b/mplayer.c Tue Sep 25 15:13:58 2001 +0000 @@ -1026,8 +1026,6 @@ #ifdef HAVE_NEW_GUI if ( use_gui ) { -// if ( !appMPlayer.subWindow.isFullScreen ) -// wsResizeWindow( &appMPlayer.subWindow,sh_video->disp_w,sh_video->disp_h ); mplResizeToMovieSize( sh_video->disp_w,sh_video->disp_h ); moviewidth=screen_size_x=sh_video->disp_w; movieheight=screen_size_y=sh_video->disp_h; @@ -1923,11 +1921,6 @@ if(use_gui) { mplStop(); -// mplSubRender=1; -// wsPostRedisplay( &appMPlayer.subWindow ); -// mplShMem->TimeSec=0; -// mplShMem->Position=0; -// mplShMem->FrameDrop=0; } #endif