From 0f95f38ecf901bf9f1ac99a2e5ffe41837515656 Mon Sep 17 00:00:00 2001
From: Rob Haarsma <phaseIV@zonnet.nl>
Date: Sat, 3 May 2003 16:05:45 +0000
Subject: [PATCH] changed buttontype for the pulldown titles

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

diff --git a/source/blender/src/headerbuttons.c b/source/blender/src/headerbuttons.c
index 17174f4f58b..6626b0a16bf 100644
--- a/source/blender/src/headerbuttons.c
+++ b/source/blender/src/headerbuttons.c
@@ -3393,6 +3393,8 @@ void info_buttons(void)
 	xco+=XIC;
 	if(U.uiflag & FLIPINFOMENU) {
 	} else {
+		uiBlockSetEmboss(block, UI_EMBOSSP);
+
 		xmax= GetButStringLength("File");
 		uiDefBlockBut(block, info_filemenu, NULL, "File",	xco, 3, xmax, 15, "");
 		xco+= xmax;