From 3f15a611f27b68aab21323f1b541e6c6c15443cb Mon Sep 17 00:00:00 2001
From: nehalmistry <>
Date: Tue, 18 Jun 2002 20:09:02 +0000
Subject: [PATCH] small crash fix

---
 src/ui/menus.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ui/menus.cpp b/src/ui/menus.cpp
index a03fec35d..a94c45cb5 100644
--- a/src/ui/menus.cpp
+++ b/src/ui/menus.cpp
@@ -1505,7 +1505,7 @@ local void SetRes(Menuitem *mi)
 
     if (VideoWidth != res) {
 	VideoWidth=res;
-	VideoHeight=res * 2 / 3;
+	VideoHeight=res * 3 / 4;
 	InitVideo();
 	DestroyCursorBackground();
 	SetClipping(0,0,VideoWidth-1,VideoHeight-1);