From 87cfa42c6da400e23e99b0567c105b983026d517 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Mon, 23 Jul 2012 12:52:44 -0400 Subject: [PATCH] Fix GUI doc typo reported by Kieron Hardy Closes PR 12830 Merge to v5.3 (cherry picked from commit e0e5f7dd285731098e56ba31a12ff08bf372615d) --- collects/scribblings/gui/timer-class.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/scribblings/gui/timer-class.scrbl b/collects/scribblings/gui/timer-class.scrbl index e71611e97b..05c49fff33 100644 --- a/collects/scribblings/gui/timer-class.scrbl +++ b/collects/scribblings/gui/timer-class.scrbl @@ -5,7 +5,7 @@ A @racket[timer%] object encapsulates an event-based alarm. To use a timer, either instantiate it with a @racket[timer-callback] thunk to - perform the alarm-based action, to derive a new class and override + perform the alarm-based action, or derive a new class and override the @method[timer% notify] method to perform the alarm-based action. Start a timer with @method[timer% start] and stop it with @method[timer% stop]. Supplying an initial @racket[interval] (in