diff --git a/extra/ui/tools/workspace/workspace.factor b/extra/ui/tools/workspace/workspace.factor index ee3f24c2cd..2d759ca1d2 100755 --- a/extra/ui/tools/workspace/workspace.factor +++ b/extra/ui/tools/workspace/workspace.factor @@ -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