diff gui/interface.c @ 35755:589cf8a5f165

Realize a smooth and flicker-free video when resizing during playback. During playback, prevent the window manager from automatically refresh the background of the video window by setting the video window's background to no defined background pixmap. After playback, set the window's background again. Additionally, add a doygen comment for wsWindowBackground() and remove an old comment. Patch with grateful support by Hans-Dieter Kosch, hdkosch kabelbw de.
author ib
date Thu, 24 Jan 2013 15:57:37 +0000
parents edac040da09c
children b1d32b46514e
line wrap: on
line diff
--- a/gui/interface.c	Thu Jan 24 15:34:10 2013 +0000
+++ b/gui/interface.c	Thu Jan 24 15:57:37 2013 +0000
@@ -787,6 +787,8 @@
         if (guiWinID >= 0)
             wsWindowMove(&guiApp.mainWindow, True, 0, guiInfo.VideoHeight);
 
+        wsWindowBackground(&guiApp.videoWindow, -1, -1, -1);
+
         break;
 
     case GUI_HANDLE_X_EVENT: