Fix another GUI typo

2011-06-13 18:00:29 -04:00 · 2011-06-13 18:00:29 -04:00 · cbd0f31800
commit cbd0f31800
parent 16ee3376f7
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].