     [ v>integer ] bi@ gl-line ;
 
 : <menu-items> ( items -- gadget )
-    [ <filled-pile> ] dip add-gadgets
-    { 3 3 } <border>
-    panel-background-color <solid> >>interior ;
+    [ <filled-pile> ] dip add-gadgets ;
 
 PRIVATE>
 

    3drop
    <gadget>
        { 0 5 } >>dim
        COLOR: black <separator-pen> >>interior ;

: menu-theme ( gadget -- gadget )
    COLOR: light-gray <solid> >>interior ;

: <menu> ( gadgets -- menu )
    <menu-items>
    frame "menu-background" [
        /-----\
        |-----|
        \-----/
    ] make-corners ;

: <commands-menu> ( target hook commands -- menu )
    [ <menu-item> ] 2with map <menu> ;


<PRIVATE

CONSTANT: menu-background-color COLOR: grey95
CONSTANT: menu-border-color COLOR: grey75

TUPLE: separator-pen color ;

C: <separator-pen> separator-pen
