From: Ingo Ruhnke <grumbel@gmx.de>
Date: Sat, 15 Mar 2008 04:49:05 +0000 (+0000)
Subject: - fixed menu edge rounding
X-Git-Url: https://git.verplant.org/?a=commitdiff_plain;h=a34ae4d276bce606d377986b55f45eeec051b3c8;p=supertux.git

- fixed menu edge rounding

SVN-Revision: 5379
---

diff --git a/src/gui/menu.cpp b/src/gui/menu.cpp
index c86bd9880..e3861706d 100644
--- a/src/gui/menu.cpp
+++ b/src/gui/menu.cpp
@@ -529,12 +529,12 @@ Menu::draw_item(DrawingContext& context, int index)
       context.draw_filled_rect(Rect(Vector(pos_x - menu_width/2 + 10 - 2, y_pos - 12 - 2),
                                     Vector(pos_x + menu_width/2 - 10 + 2, y_pos + 12 + 2)),
                                Color(1.0f, 1.0f, 1.0f, 0.5f),
-                               16.0f,
+                               14.0f,
                                LAYER_GUI-10);
       context.draw_filled_rect(Rect(Vector(pos_x - menu_width/2 + 10, y_pos - 12),
                                     Vector(pos_x + menu_width/2 - 10, y_pos + 12)),
                                Color(1.0f, 1.0f, 1.0f, 0.5f),
-                               16.0f,
+                               12.0f,
                                LAYER_GUI-10);
     }
 
@@ -725,7 +725,7 @@ Menu::draw(DrawingContext& context)
   context.draw_filled_rect(Rect(Vector(pos_x - menu_width/2-4, pos_y - 24*items.size()/2 - 10-4),
                                 Vector(pos_x + menu_width/2+4, pos_y - 24*items.size()/2 + 10 + menu_height+4)),
                            Color(0.2f, 0.3f, 0.4f, 0.8f), 
-                           16.0f,
+                           20.0f,
                            LAYER_GUI-10);
 
   context.draw_filled_rect(Rect(Vector(pos_x - menu_width/2, pos_y - 24*items.size()/2 - 10),