From 2291c2d18a479303e0ccd56c08c8db27ee09080a Mon Sep 17 00:00:00 2001 From: Eduardo Cavazos Date: Fri, 25 Jul 2008 12:48:08 -0500 Subject: [PATCH] Remove 'grid-add*' --- extra/ui/gadgets/grids/grids.factor | 5 ----- 1 file changed, 5 deletions(-) diff --git a/extra/ui/gadgets/grids/grids.factor b/extra/ui/gadgets/grids/grids.factor index 5e4af7fcb3..eb2cdad801 100644 --- a/extra/ui/gadgets/grids/grids.factor +++ b/extra/ui/gadgets/grids/grids.factor @@ -20,11 +20,6 @@ grid : grid-child ( grid i j -- gadget ) rot grid>> nth nth ; -: grid-add* ( grid child i j -- grid ) - >r >r dupd swap r> r> - >r >r 2dup swap add-gadget drop r> r> - 3dup grid-child unparent rot grid>> nth set-nth ; - : grid-add ( grid child i j -- grid ) >r >r dupd swap r> r> >r >r 2dup swap add-gadget drop r> r>