package lablgtk3

  1. Overview
  2. Docs
OCaml interface to GTK+3

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (16)

Authors

  1. Jacques Garrigue

Maintainers

  1. G
    garrigue@math.nagoya-u.ac.jp

Sources

lablgtk3-3.1.5.tbz
sha256=d4821cdbecf3ae374f20317d63e43fe58030c3ba9657b51a2e83e652197e8eac
sha512=83f0be38a1e21737de93f88b0adac15cdcc50cf712d773720b9bc1e8d8ffdb2c660d35840f25d326a42a9d4e6537e6cef466099bf72494196b2cc79977e703e3

doc/lablgtk3/GtkThread/index.html

Module GtkThreadSource

Sourceval main : unit -> unit

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. With system threads, the ocaml giant lock is now released on polling, so that other ocaml threads can run without busy wait.

Setting busy_waiting to true forces the main loop to be non-blocking. This is required with VM threads. The default value is set to true at startup if the environment variable LABLGTK_BUSY_WAIT is set to something other than 0.

Sourceval busy_waiting : bool ref

Setting busy_waiting to true forces the main loop to be non-blocking. This is required with VM threads. The default value is set to true at startup if the environment variable LABLGTK_BUSY_WAIT is set to something other than 0.

Start the main loop in a new GUI thread. Do not use recursively. Do not use with the Quartz backend, as the GUI must imperatively run in the main thread.

Sourceval start : unit -> Thread.t

Start the main loop in a new GUI thread. Do not use recursively. Do not use with the Quartz backend, as the GUI must imperatively run in the main thread.

The real main function

Sourceval thread_main : unit -> unit

The real main function

Forget the current GUI thread. The next call to main will register its caller as GUI thread.

Sourceval reset : unit -> unit

Forget the current GUI thread. The next call to main will register its caller as GUI thread.

Sourceval 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)

Sourceval sync : ('a -> 'b) -> 'a -> 'b

Add a synchronous job (to do in the main thread)

Whether it is safe to call most GTK functions directly from the current thread

Sourceval gui_safe : unit -> bool

Whether it is safe to call most GTK functions directly from the current thread

Allow other threads to run, and process the message queue. The following ensures that messages will be processed even if another main loop is running: Glib.Timeout.add ~ms:100 ~callback:GtkThread.do_jobs

Sourceval do_jobs : unit -> bool

Allow other threads to run, and process the message queue. The following ensures that messages will be processed even if another main loop is running: Glib.Timeout.add ~ms:100 ~callback:GtkThread.do_jobs

Sourceval set_do_jobs_delay : float -> unit

Set the delay used in the main loop when busy_waiting is true. Higher value will make the application less CPU-consuming, but (relatively) less reactive. Default value is 0.013 .