From 061b83b5dd244411cfd7535a729a4d2cc68bd59c Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Fri, 19 Dec 2008 02:25:40 -0600 Subject: [PATCH] Add --- basis/ui/gadgets/borders/borders.factor | 3 +++ 1 file changed, 3 insertions(+) diff --git a/basis/ui/gadgets/borders/borders.factor b/basis/ui/gadgets/borders/borders.factor index 94816788e1..1f66cca178 100644 --- a/basis/ui/gadgets/borders/borders.factor +++ b/basis/ui/gadgets/borders/borders.factor @@ -16,6 +16,9 @@ TUPLE: border < gadget swap border new-border swap dup 2array >>size ; +: ( child gap -- border ) + { 1 1 } >>fill ; + M: border pref-dim* [ size>> 2 v*n ] keep gadget-child pref-dim v+ ;