ui.gadgets.labelled: Simplify '<title-bar>'

2008-11-10 03:35:21 -06:00 · 2008-11-10 03:35:21 -06:00 · 17be33fb01
parent 359f177a98
commit 17be33fb01
1 changed files with 1 additions and 1 deletions
--- a/basis/ui/gadgets/labelled/labelled.factor
+++ b/basis/ui/gadgets/labelled/labelled.factor
@ -39,7 +39,7 @@ M: labelled-gadget focusable-child* content>> ;

 : <title-bar> ( title quot -- gadget )
    <frame>
-        swap dup [ <close-box> @left grid-add ] [ drop ] if
+        swap [ <close-box> @left grid-add ] when*
        swap <title-label> @center grid-add ;

 TUPLE: closable-gadget < frame content ;