# HG changeset patch
# User ib
# Date 1354530046 0
# Node ID 1a82d83c00eb51e243aff40aa601175b771fde90
# Parent  265e26553c78b6cf12ce9129756b147f73a04e4e
Use correct video window parameters.

We have to resize to the skin's values here. (Since the guiInfo members
have been overwritten erroneously, it hasn't made a difference yet.)

diff -r 265e26553c78 -r 1a82d83c00eb gui/interface.c
--- a/gui/interface.c	Mon Dec 03 02:56:16 2012 +0000
+++ b/gui/interface.c	Mon Dec 03 10:20:46 2012 +0000
@@ -820,7 +820,7 @@
                 guiInfo.VideoHeight = guiApp.video.height;
 
                 if (!guiApp.videoWindow.isFullScreen) {
-                    wsResizeWindow(&guiApp.videoWindow, guiInfo.VideoWidth, guiInfo.VideoHeight);
+                    wsResizeWindow(&guiApp.videoWindow, guiApp.video.width, guiApp.video.height);
                     wsMoveWindow(&guiApp.videoWindow, False, guiApp.video.x, guiApp.video.y);
                 }