From ef44191e86417b47d4e9b5773fcac6afe59c365a Mon Sep 17 00:00:00 2001 From: Eduardo Cavazos Date: Fri, 25 Jul 2008 12:24:43 -0500 Subject: [PATCH] ui.gadgets.grids: Add 'grid-add' --- extra/ui/gadgets/grids/grids.factor | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/extra/ui/gadgets/grids/grids.factor b/extra/ui/gadgets/grids/grids.factor index fcc1f691e9..cd2433f3eb 100644 --- a/extra/ui/gadgets/grids/grids.factor +++ b/extra/ui/gadgets/grids/grids.factor @@ -25,6 +25,11 @@ grid >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> + 3dup grid-child unparent rot grid>> nth set-nth ; + : grid-remove ( grid i j -- grid ) -rot grid-add* ; : pref-dim-grid ( grid -- dims )