From f1c493450aa1a5dd1528d3530de1f268c6bf09ff Mon Sep 17 00:00:00 2001
From: Simon Robertshaw <simon@hardwired.org.uk>
Date: Thu, 2 Aug 2012 14:34:35 +0100
Subject: [PATCH] Make console_ui cover up right menu margin

---
 src/interface.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/interface.c b/src/interface.c
index babece70b..c08534d49 100644
--- a/src/interface.c
+++ b/src/interface.c
@@ -5438,7 +5438,7 @@ char *console_ui(pixel *vid_buf,char error[255],char console_more) {
 	//fillrect(vid_buf, -1, -1, XRES, 220, 0, 0, 0, 190);
 	memcpy(old_buf,vid_buf,(XRES+BARSIZE)*YRES*PIXELSIZE);
 
-	fillrect(old_buf, -1, -1, XRES, 220, 0, 0, 0, 190);
+	fillrect(old_buf, -1, -1, XRES+BARSIZE, 220, 0, 0, 0, 190);
 
 	currentcommand2 = malloc(sizeof(command_history));
 	memset(currentcommand2, 0, sizeof(command_history));