# HG changeset patch
# User pontscho
# Date 1018202441 0
# Node ID 25c43bd75e4c721e903b93311a323284ec59c6a8
# Parent  868c13f78f08ade4262e66c9b2dffb17cf9911d0
small bugfixes...

diff -r 868c13f78f08 -r 25c43bd75e4c Gui/mplayer/mw.h
--- a/Gui/mplayer/mw.h	Sun Apr 07 17:42:31 2002 +0000
+++ b/Gui/mplayer/mw.h	Sun Apr 07 18:00:41 2002 +0000
@@ -359,6 +359,7 @@
           appMPlayer.subWindow.OldY=( wsMaxY - guiIntfStruct.MovieHeight ) / 2;
           appMPlayer.subWindow.OldWidth=guiIntfStruct.MovieWidth; appMPlayer.subWindow.OldHeight=guiIntfStruct.MovieHeight;
           wsFullScreen( &appMPlayer.subWindow );
+	  vo_fs=0;
          }
         break;
    case evDoubleSize:
@@ -369,6 +370,7 @@
           appMPlayer.subWindow.OldY=( wsMaxY - guiIntfStruct.MovieHeight * 2 ) / 2;
           appMPlayer.subWindow.OldWidth=guiIntfStruct.MovieWidth * 2; appMPlayer.subWindow.OldHeight=guiIntfStruct.MovieHeight * 2;
           wsFullScreen( &appMPlayer.subWindow );
+	  vo_fs=0;
          }
         break;
    case evFullScreen:
diff -r 868c13f78f08 -r 25c43bd75e4c Gui/mplayer/widgets.c
--- a/Gui/mplayer/widgets.c	Sun Apr 07 17:42:31 2002 +0000
+++ b/Gui/mplayer/widgets.c	Sun Apr 07 18:00:41 2002 +0000
@@ -66,7 +66,7 @@
 {
  gtk_set_locale();
  gtk_init( &argc,&argv );
- gdk_set_use_xshm( TRUE );
+ gdk_set_use_xshm( FALSE );
  widgetsCreate();
 }
 
diff -r 868c13f78f08 -r 25c43bd75e4c mplayer.c
--- a/mplayer.c	Sun Apr 07 17:42:31 2002 +0000
+++ b/mplayer.c	Sun Apr 07 18:00:41 2002 +0000
@@ -2931,7 +2931,7 @@
 #endif
    mplStop();
 #warning workaround for kiba playtree with gui ... if i dont play the prev/next file, then playtree sig6 (assert)
-   eof=0;
+//   eof=0;
   }	
 #endif