ui.gadgets.editors: simplify private word.

2011-09-25 11:43:53 -07:00 · 2011-09-25 11:43:53 -07:00 · 98f7d2530d
parent 1fa63f97f0
commit 98f7d2530d
1 changed files with 1 additions and 3 deletions
--- a/basis/ui/gadgets/editors/editors.factor
+++ b/basis/ui/gadgets/editors/editors.factor
@ -610,9 +610,7 @@ TUPLE: field < border editor min-cols max-cols ;
    COLOR: gray <solid> >>boundary ; inline

 : <field-border> ( gadget -- border )
-    { 2 2 } <border>
-        { 1 0 } >>fill
-        field-theme ;
+    border new-border field-theme ;

 PRIVATE>