From f1f7fe5dd8e7b28095af928db2179ae4f78b517a Mon Sep 17 00:00:00 2001 From: Eduardo Cavazos Date: Mon, 21 Jul 2008 17:07:59 -0500 Subject: [PATCH] ui.gadgets: remove '(set-rect-dim)' --- extra/ui/gadgets/gadgets.factor | 7 ------- 1 file changed, 7 deletions(-) diff --git a/extra/ui/gadgets/gadgets.factor b/extra/ui/gadgets/gadgets.factor index de43704b05..3a6af52b1a 100755 --- a/extra/ui/gadgets/gadgets.factor +++ b/extra/ui/gadgets/gadgets.factor @@ -165,13 +165,6 @@ DEFER: relayout : hide-gadget ( gadget -- ) f swap (>>visible?) ; -: (set-rect-dim) ( dim gadget quot -- ) - >r 2dup rect-dim = - [ [ 2drop ] [ set-rect-dim ] if ] 2keep - [ drop ] r> if ; inline - -! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! - DEFER: in-layout? : do-invalidate ( gadget -- gadget )