diff options
| author | Alain Frisch <alain@frisch.fr> | 2008-04-09 16:32:09 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2008-04-09 16:32:09 +0000 |
| commit | 7332e6d6d3aa8743e167a506581962d105bf7788 (patch) | |
| tree | ee8827eeca7bb8fcae8207422c42a19160e256e4 /otherlibs/labltk/support/tkthread.mli | |
| parent | cbfeebb112b7a3e396e26606fd3b7cd0a198e79d (diff) | |
| download | ocaml-cducetrunk.tar.gz | |
Merge from diff ocaml3100/ocaml3102: cvs update -j ocaml3100 -j ocaml3102 -kkcducetrunk
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/cducetrunk@8864 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
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 |