# HG changeset patch
# User pontscho
# Date 1075834965 0
# Node ID 634a2b279b1ac7027948eb0d3e574cd5f97c67d3
# Parent  f17039c05701ee81782a4c4b130f2d01fe91855a
'video window vanishes after pause' bugfix, based on Andr¸«± K¸«ähne's (andre.kuehne@gmx.net) bugreport

diff -r f17039c05701 -r 634a2b279b1a Gui/interface.c
--- a/Gui/interface.c	Tue Feb 03 15:43:17 2004 +0000
+++ b/Gui/interface.c	Tue Feb 03 19:02:45 2004 +0000
@@ -516,7 +516,7 @@
 	 {
 	  case guiSetPlay: 
 	       guiIntfStruct.Playing=1;
-	       if ( !gtkShowVideoWindow ) wsVisibleWindow( &appMPlayer.subWindow,wsHideWindow );
+//	       if ( !gtkShowVideoWindow ) wsVisibleWindow( &appMPlayer.subWindow,wsHideWindow );
 	       break;
 	  case guiSetStop:
 	       guiIntfStruct.Playing=0;
diff -r f17039c05701 -r 634a2b279b1a Gui/mplayer/gtk/opts.c
--- a/Gui/mplayer/gtk/opts.c	Tue Feb 03 15:43:17 2004 +0000
+++ b/Gui/mplayer/gtk/opts.c	Tue Feb 03 19:02:45 2004 +0000
@@ -688,6 +688,7 @@
 
 static void prToggled( GtkToggleButton * togglebutton,gpointer user_data )
 {
+ int window;
  switch ( (int)user_data )
   {
    case 0: // extra stereo coefficient
@@ -707,9 +708,11 @@
 	  }
 	if ( gtk_toggle_button_get_active( GTK_TOGGLE_BUTTON( CBShowVideoWindow ) ) )
 	 {
-	  wsVisibleWindow( &appMPlayer.subWindow,wsShowWindow );
+	  window=wsShowWindow;
 	  gtkActive( Preferences );
-	 } else wsVisibleWindow( &appMPlayer.subWindow,wsHideWindow );
+	 } else window=wsHideWindow;
+
+	if ( !guiIntfStruct.Playing ) wsVisibleWindow( &appMPlayer.subWindow,window );
 	break;
    case 4:
    case 5:
diff -r f17039c05701 -r 634a2b279b1a Gui/skin/skin.h
--- a/Gui/skin/skin.h	Tue Feb 03 15:43:17 2004 +0000
+++ b/Gui/skin/skin.h	Tue Feb 03 19:02:45 2004 +0000
@@ -5,8 +5,6 @@
 #include "../app.h"
 
 extern listItems     * skinAppMPlayer;
-//extern listItems     * skinAppTV;
-//extern listItems     * skinAppRadio;
 
 extern int skinRead( char * dname  );
 extern int skinBPRead( char * fname, txSample * bf );