Module Wutil

module Wutil: sig .. end

Wtoolkit - Utilities



val on : 'a option -> ('a -> unit) -> unit
val fire : ('a -> unit) list -> 'a -> unit
val once : ('a -> 'b) -> 'a -> 'b

Settings & Console


val share : string Pervasives.ref
val flush : (string -> unit) Pervasives.ref
val warning : ('a, Format.formatter, unit) Pervasives.format -> 'a

Styling


val set_tooltip : #GObj.widget -> string option -> unit
val set_small_font : #GObj.widget -> unit
val set_bold_font : #GObj.widget -> unit
val to_utf8 : string -> string

Timing


val later : (unit -> unit) -> unit
Post the action on next idle.

Events


class virtual ['a] handler : object .. end
Defines on_xxx in term of connect.
class ['a] signal : object .. end
Has type Widget.signal
class ['a] selector : 'a -> object .. end
Has type Widget.selector
class coerce : #GObj.widget -> object .. end