Fix another GUI typo

original commit: cbd0f31800da4ca98674703e44edb854b87f0611
2011-06-13 18:00:29 -04:00 · 2011-06-13 18:00:29 -04:00 · f4d93852bd
commit f4d93852bd
parent 4ba8900913
1 changed files with 1 additions and 1 deletions
--- a/collects/scribblings/gui/eventspace-funcs.scrbl
+++ b/collects/scribblings/gui/eventspace-funcs.scrbl
@ -230,7 +230,7 @@ Attempting to use certain methods of windows and timers in a shut-down
 }

@defproc[(eventspace-handler-thread [e eventspace?])
-         (or/c thread #f)]{
+         (or/c thread? #f)]{
 Returns the handler thread of the given eventspace. If the handler
 thread has terminated (e.g., because the eventspace was shut down), the
 result is @scheme[#f].