From d3e8978b55963482a8f858299533e094c844fe05 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 21 Dec 2009 20:59:18 +0000 Subject: [PATCH] fixed a bug found by randomized testing svn: r17382 --- collects/scribblings/gui/text-class.scrbl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/scribblings/gui/text-class.scrbl b/collects/scribblings/gui/text-class.scrbl index 8e2e1cd278..941b59ced9 100644 --- a/collects/scribblings/gui/text-class.scrbl +++ b/collects/scribblings/gui/text-class.scrbl @@ -1808,10 +1808,10 @@ See also @defmethod[(set-clickback [start exact-nonnegative-integer?] [end exact-nonnegative-integer?] - [f ((is-a?/c text% - exact-nonnegative-integer? - exact-nonnegative-integer?) - . -> . any)] + [f (-> (is-a?/c text%) + exact-nonnegative-integer? + exact-nonnegative-integer? + any)] [hilite-delta (or/c (is-a?/c style-delta%) #f) #f] [call-on-down? any/c #f]) void?]{