diff --git a/extra/automata/ui/ui.factor b/extra/automata/ui/ui.factor index 5678a6f06b..78f1074eb8 100644 --- a/extra/automata/ui/ui.factor +++ b/extra/automata/ui/ui.factor @@ -23,11 +23,8 @@ IN: automata.ui ! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! -QUALIFIED: ui.gadgets QUALIFIED: ui.gadgets.grids -: add-gadget ( parent child -- parent ) over ui.gadgets:add-gadget ; - : grid-add ( grid child i j -- grid ) >r >r dupd swap r> r> ui.gadgets.grids:grid-add ;