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

ui.tools.workspace: update find-tool

db4
Eduardo Cavazos 2008-07-15 03:54:05 -05:00
parent fd7f3423ed
commit 7c0fe0cf05
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/tools/workspace/workspace.factor
View File

@ -28,7 +28,7 @@ GENERIC: tool-scroller ( tool -- scroller )
M: gadget tool-scroller drop f ;
: find-tool ( class workspace -- index tool )
workspace-book gadget-children [ class eq? ] with find ;
book>> children>> [ class eq? ] with find ;
: show-tool ( class workspace -- tool )
[ find-tool swap ] keep workspace-book gadget-model