Fix GUI doc typo reported by Kieron Hardy
Closes PR 12830
Merge to v5.3
(cherry picked from commit e0e5f7dd28
)
This commit is contained in:
parent
e128d03414
commit
87cfa42c6d
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue
Block a user