- fixed menu edge rounding

SVN-Revision: 5379

diff --git a/src/gui/menu.cpp b/src/gui/menu.cpp
index c86bd98..e386170 100644 (file)
--- 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),