# HG changeset patch
# User ulion
# Date 1195298638 0
# Node ID aad0f4a495ab391a4588a88abb73cb0fa6eec085
# Parent  5e1e61012a05e21f0687bce03134e9c8bb109625
Fix pausing_toggle not continue play bug when it follows a pause immediately.

diff -r 5e1e61012a05 -r aad0f4a495ab command.c
--- a/command.c	Fri Nov 16 21:32:09 2007 +0000
+++ b/command.c	Sat Nov 17 11:23:58 2007 +0000
@@ -2800,7 +2800,11 @@
 	break;
     case 3:	// "pausing_toggle"
 	mpctx->was_paused = !mpctx->was_paused;
-	// fall through
+	if (mpctx->was_paused)
+	    mpctx->osd_function = OSD_PAUSE;
+	else if (mpctx->osd_function == OSD_PAUSE)
+	    mpctx->osd_function = OSD_PLAY;
+	break;
     case 2:	// "pausing_keep"
 	if (mpctx->was_paused)
 	    mpctx->osd_function = OSD_PAUSE;