Menu border

Added 3 px to menu borders.
2015-07-18 16:48:47 +02:00 · 2015-07-18 16:48:47 +02:00 · a0bc138465
parent ae9b9b59eb
commit a0bc138465
1 changed files with 1 additions and 0 deletions
--- a/basis/ui/gadgets/menus/menus.factor
+++ b/basis/ui/gadgets/menus/menus.factor
@ -33,6 +33,7 @@ M: separator-pen draw-interior

 : <menu-items> ( items -- gadget )
    [ <filled-pile> ] dip add-gadgets
+    { 3 3 } <border>
    panel-background-color <solid> >>interior ;

 PRIVATE>