diff options
Diffstat (limited to 'Gui/mplayer/play.c')
-rw-r--r-- | Gui/mplayer/play.c | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Gui/mplayer/play.c b/Gui/mplayer/play.c index fbf9b610c9..f1ef8634d5 100644 --- a/Gui/mplayer/play.c +++ b/Gui/mplayer/play.c @@ -46,11 +46,13 @@ extern int mplSubRender; void mplStop() { - if ( !mplShMem->Playing ) return; mplShMem->Playing=0; mplShMem->TimeSec=0; mplShMem->Position=0; mplShMem->AudioType=0; + mplSubRender=1; + wsPostRedisplay( &appMPlayer.subWindow ); + if ( !mplShMem->Playing ) return; if ( !appMPlayer.subWindow.isFullScreen ) { wsMoveWindow( &appMPlayer.subWindow,appMPlayer.sub.x,appMPlayer.sub.y ); @@ -197,3 +199,9 @@ void EventHandling( void ) wsHandleEvents();mplTimerHandler(0); // handle GUI timer events if ( mplShMem->SkinChange ) { ChangeSkin(); mplShMem->SkinChange=0; } } + +void mplResizeToMovieSize( unsigned int width,unsigned int height ) +{ + if ( !appMPlayer.subWindow.isFullScreen ) + wsResizeWindow( &appMPlayer.subWindow,width,height ); +} |