# HG changeset patch
# User pontscho
# Date 1036616913 0
# Node ID 434a4fce25c106fe2757e5166eb7a0d75413fd2a
# Parent  dda027d5a8456a81d6c194c64e2412b2865c0613
patch from Colin Leroy <colin@colino.net>

diff -r dda027d5a845 -r 434a4fce25c1 Gui/mplayer/mw.c
--- a/Gui/mplayer/mw.c	Wed Nov 06 15:19:45 2002 +0000
+++ b/Gui/mplayer/mw.c	Wed Nov 06 21:08:33 2002 +0000
@@ -365,7 +365,7 @@
         mplPause();
         break;
 
-   case evStop: guiIntfStruct.Playing=guiSetStop; break;
+   case evStop: guiIntfStruct.Playing=guiSetStop; mplState(); break;
 
    case evLoadPlay:
         mplMainAutoPlay=1;