From 558f06f79110b7d5c4cc40b93f9e89eab77be460 Mon Sep 17 00:00:00 2001
From: Ton Roosendaal <ton@blender.org>
Date: Sun, 23 Nov 2003 13:48:12 +0000
Subject: [PATCH] - fix: switching main Theme didn't update button drawtype for
 info buttons

---
 source/blender/src/space.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/source/blender/src/space.c b/source/blender/src/space.c
index 13f3997ae9b..410b6645131 100644
--- a/source/blender/src/space.c
+++ b/source/blender/src/space.c
@@ -1760,6 +1760,7 @@ void info_user_themebuts(uiBlock *block, short y1, short y2, short y3)
 			if(a==cur) {
 				BLI_remlink(&U.themes, bt);
 				BLI_addhead(&U.themes, bt);
+				allqueue(REDRAWALL, 0);
 				cur= 1;
 				break;
 			}
@@ -2479,7 +2480,7 @@ void winqreadinfospace(ScrArea *sa, void *spacedata, BWinEvent *evt)
 				bTheme *btheme= U.themes.first;
 				BLI_remlink(&U.themes, btheme);
 				MEM_freeN(btheme);
-				BIF_SetTheme(curarea); // prevent usage of old theme in calls	
+				BIF_SetTheme(sa); // prevent usage of old theme in calls	
 				addqueue(sa->win, REDRAW, 1);
 			}
 			else if(val==B_NAME_THEME) {