Fix ui.gestures help-lint

db4
Slava Pestov 2008-11-22 02:24:24 -06:00
parent 7e71fe081c
commit 42926ebfcf
1 changed files with 2 additions and 2 deletions

View File

@ -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 } }