diff options
Diffstat (limited to 'otherlibs/labltk/support/tkthread.mli')
| -rw-r--r-- | otherlibs/labltk/support/tkthread.mli | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/otherlibs/labltk/support/tkthread.mli b/otherlibs/labltk/support/tkthread.mli index ae031e3a47..52b1a76ceb 100644 --- a/otherlibs/labltk/support/tkthread.mli +++ b/otherlibs/labltk/support/tkthread.mli @@ -18,7 +18,7 @@ (** Start the main loop in a new GUI thread. Do not use recursively. *) val start : unit -> Thread.t -(** The actual function executed in the new thread *) +(** The actual function executed in the GUI thread *) val thread_main : unit -> unit (** The toplevel widget (an alias of [Widget.default_toplevel]) *) val top : Widget.toplevel Widget.widget @@ -32,10 +32,13 @@ val top : Widget.toplevel Widget.widget With sync, beware of deadlocks! *) -(** Add an asynchronous job (to do in the main thread) *) +(** Add an asynchronous job (to do in the GUI thread) *) val async : ('a -> unit) -> 'a -> unit -(** Add a synchronous job (to do in the main thread) *) +(** Add a synchronous job (to do in the GUI thread). + Raise [Failure "Tkthread.sync"] if there is no such thread. *) val sync : ('a -> 'b) -> 'a -> 'b (** Whether it is safe to call most Tk functions directly from the current thread *) val gui_safe : unit -> bool +(** Whether a GUI thread is running *) +val running : unit -> bool |