steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Merge branch 'master' of git://factorcode.org/git/factor

release
Eduardo Cavazos 2007-11-24 00:53:04 -06:00
parent 3c8c97887b f0d29daedd
commit 3e5725ba2c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
extra/ui/ui.factor
View File

@ -127,7 +127,7 @@ SYMBOL: ui-hook
] { } make ; ] { } make ;
: redraw-worlds ( seq -- ) : redraw-worlds ( seq -- )
[ dup update-hand [ draw-world ] time ] each ; [ dup update-hand draw-world ] each ;
: notify ( gadget -- ) : notify ( gadget -- )
dup gadget-graft-state { dup gadget-graft-state {