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 )