diff gui/interface.c @ 35605:71f19d352561

Fix bug with wrong video window size after end of fullscreen playback. (This is a regression introduced in r35572.) The normal size the window should have (media size or configured size) depends on the current state of playback. In order to influence the size, add a boolean parameter. This usually is True unless playback has stopped.
author ib
date Wed, 19 Dec 2012 13:58:06 +0000
parents 9f58ee705989
children 4188b70dc3ff
line wrap: on
line diff
--- a/gui/interface.c	Tue Dec 18 20:00:11 2012 +0000
+++ b/gui/interface.c	Wed Dec 19 13:58:06 2012 +0000
@@ -389,7 +389,7 @@
 
         switch ((int)data) {
         case MP_CMD_VO_FULLSCREEN:
-            uiEventHandling(evFullScreen, 0);
+            uiEventHandling(evFullScreen, True);
             break;
 
         case MP_CMD_PLAY_TREE_STEP:
@@ -793,7 +793,7 @@
         }
 
         if (gtkLoadFullscreen ^ guiApp.videoWindow.isFullScreen)
-            uiEventHandling(evFullScreen, 0);
+            uiEventHandling(evFullScreen, True);
 
         if (guiWinID >= 0)
             wsMoveWindow(&guiApp.mainWindow, True, 0, guiInfo.VideoHeight);
@@ -875,7 +875,7 @@
                     wsVisibleWindow(&guiApp.videoWindow, wsShowWindow);
 
                 if (gtkLoadFullscreen ^ guiApp.videoWindow.isFullScreen)
-                    uiEventHandling(evFullScreen, 0);
+                    uiEventHandling(evFullScreen, False);
             } else {
                 wsVisibleWindow(&guiApp.videoWindow, wsHideWindow);
                 guiInfo.VideoWindow = False;