From af1211b890cdfde71e0d6b2356230e8783f7a5e8 Mon Sep 17 00:00:00 2001 From: Eduardo Cavazos Date: Mon, 21 Jul 2008 18:49:36 -0500 Subject: [PATCH] ui.gadgets: remove 'set-layout-dim' --- extra/ui/gadgets/gadgets.factor | 1 - 1 file changed, 1 deletion(-) diff --git a/extra/ui/gadgets/gadgets.factor b/extra/ui/gadgets/gadgets.factor index 561562b893..3cd54fa843 100755 --- a/extra/ui/gadgets/gadgets.factor +++ b/extra/ui/gadgets/gadgets.factor @@ -176,7 +176,6 @@ M: gadget (>>dim) ( dim gadget -- ) [ tuck call-next-method do-invalidate drop ] if ; -: set-layout-dim ( dim gadget -- ) (>>dim) ; : set-gadget-dim ( dim gadget -- ) (>>dim) ; GENERIC: pref-dim* ( gadget -- dim )