From 04dd210b3794b3399320ba1bb7397d91a89701e4 Mon Sep 17 00:00:00 2001
From: John Benediktsson <mrjbq7@gmail.com>
Date: Wed, 1 Aug 2012 07:37:44 -0700
Subject: [PATCH] ui.gadgets: fix docs for max-dims.
---
basis/ui/gadgets/gadgets-docs.factor | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/basis/ui/gadgets/gadgets-docs.factor b/basis/ui/gadgets/gadgets-docs.factor
index 5585c36f31..04d32cff04 100644
--- a/basis/ui/gadgets/gadgets-docs.factor
+++ b/basis/ui/gadgets/gadgets-docs.factor
@@ -39,7 +39,7 @@ HELP: pick-up
{ $description "Outputs the child at a point in the gadget's co-ordinate system. This word recursively descends the gadget hierarchy, and so outputs the deepest child." } ;
HELP: max-dims
-{ $values { "dims" "a sequence of pairs of integers" } { "dim" "a pair of integers" } }
+{ $values { "seq" "a sequence of pairs of integers" } { "dim" "a pair of integers" } }
{ $description "Outputs the smallest dimensions of a rectangle which can fit all the dimensions in the sequence." } ;
{ pref-dims max-dims sum-dims } related-words