From 42926ebfcf8f33b401097b72e6e5e28f604a7110 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Sat, 22 Nov 2008 02:24:24 -0600 Subject: [PATCH] Fix ui.gestures help-lint --- basis/ui/gestures/gestures-docs.factor | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/basis/ui/gestures/gestures-docs.factor b/basis/ui/gestures/gestures-docs.factor index e94bcf6d93..b7c5c94c62 100644 --- a/basis/ui/gestures/gestures-docs.factor +++ b/basis/ui/gestures/gestures-docs.factor @@ -18,8 +18,8 @@ $nl { propagate-gesture handle-gesture set-gestures } related-words HELP: propagate-gesture -{ $values { "gesture" "a gesture" } { "gadget" gadget } { "?" "a boolean" } } -{ $description "Calls " { $link handle-gesture } " on every parent of " { $snippet "gadget" } ". Outputs " { $link f } " if some parent handled the gesture, else outputs " { $link t } "." } ; +{ $values { "gesture" "a gesture" } { "gadget" gadget } } +{ $description "Calls " { $link handle-gesture } " on every parent of " { $snippet "gadget" } "." } ; HELP: user-input { $values { "string" string } { "gadget" gadget } }