# HG changeset patch
# User reimar
# Date 1147886946 0
# Node ID 6b92a27e247cefeabc398a7d46d977c5d2a5dafc
# Parent  fe17e7634db1aac6f933f67da759c27bec8f8071
also set guiIntfStruct.sh_video to NULL for guiSetDefaults.
Avoids a crash at end of playback for skins using $C.

diff -r fe17e7634db1 -r 6b92a27e247c Gui/interface.c
--- a/Gui/interface.c	Wed May 17 14:49:44 2006 +0000
+++ b/Gui/interface.c	Wed May 17 17:29:06 2006 +0000
@@ -739,6 +739,7 @@
 	  force_fps=0;
 	 }				
 	guiIntfStruct.demuxer=NULL;
+	guiIntfStruct.sh_video=NULL;
 	wsPostRedisplay( &appMPlayer.subWindow );
 	break;
    case guiSetParameters: