Rechercher une page de manuel
GtkThread.3o
Langue: en
Version: 282412 (debian - 07/07/09)
Section: 3 (Bibliothèques de fonctions)
Sommaire
NAME
GtkThread - The main loop to use with threads.Module
Module GtkThreadDocumentation
Module GtkThread
: sig end
The main loop to use with threads. GMain.main does not work! This changes GMain.main to call threaded_main rather than GtkMain.Main.default_main , so subsequent calls will work. The first call sets the GUI thread, and subsequent calls to main will be automatically routed through sync
val main : unit -> unit
Start the main loop in a new GUI thread. Do not use recursively.
val start : unit -> Thread.t
The real main function
val thread_main : unit -> unit
Forget the current GUI thread. The next call to main will register its caller as GUI thread.
val reset : unit -> unit
val async : ('a -> unit) -> 'a -> unit
Add an asynchronous job (to do in the main thread)
Add a synchronous job (to do in the main thread)
val sync : ('a -> 'b) -> 'a -> 'b
Whether it is safe to call most GTK functions directly from the current thread
val gui_safe : unit -> bool
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre