ui.gadgets.grids: Add 'grid-add'
parent
2bed94df39
commit
ef44191e86
|
@ -25,6 +25,11 @@ grid
|
||||||
>r >r 2dup swap add-gadget drop r> r>
|
>r >r 2dup swap add-gadget drop r> r>
|
||||||
3dup grid-child unparent rot grid>> nth set-nth ;
|
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 ) <gadget> -rot grid-add* ;
|
: grid-remove ( grid i j -- grid ) <gadget> -rot grid-add* ;
|
||||||
|
|
||||||
: pref-dim-grid ( grid -- dims )
|
: pref-dim-grid ( grid -- dims )
|
||||||
|
|
Loading…
Reference in New Issue