From 99665a749f3e0c0f743ab1e5c5ef27bbcd632c33 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Thu, 13 Mar 2008 03:52:04 -0500 Subject: [PATCH] Update ui.tools for tools.vocabs --- extra/ui/tools/tools.factor | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/extra/ui/tools/tools.factor b/extra/ui/tools/tools.factor index b98b1dba28..d71b657491 100755 --- a/extra/ui/tools/tools.factor +++ b/extra/ui/tools/tools.factor @@ -8,7 +8,8 @@ prettyprint quotations sequences ui ui.commands ui.gadgets ui.gadgets.books ui.gadgets.buttons ui.gadgets.labelled ui.gadgets.scrollers ui.gadgets.tracks ui.gadgets.worlds ui.gadgets.presentations ui.gestures words vocabs.loader -tools.test ui.gadgets.buttons ui.gadgets.status-bar mirrors ; +tools.test tools.vocabs ui.gadgets.buttons ui.gadgets.status-bar +mirrors ; IN: ui.tools : ( -- tabs )