Module Wutil

module Wutil: sig .. end

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 Stdlib.ref

val flush : (string -> unit) Stdlib.ref

val warning : ('a, Stdlib.Format.formatter, unit) Stdlib.format -> 'a

Styling

val set_enabled : #GObj.widget -> bool -> unit

val set_visible : #GObj.widget -> bool -> unit

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

val set_font : #GObj.widget -> string -> unit

val set_monospace : #GObj.widget -> unit

val set_small_font : #GObj.widget -> unit

val set_bold_font : #GObj.widget -> unit

val to_utf8 : string -> string

Ratios

val get_pane_ratio : GPack.paned -> float

val set_pane_ratio : GPack.paned -> float -> unit

Timing

val later : (unit -> unit) -> unit

Events

class virtual ['a] handler : object .. end

class ['a] signal : object .. end

class ['a] selector : 'a -> object .. end

class type widget = object .. end

class layout : object .. end

class gobj_widget : #GObj.widget -> widget

class gobj_action : #GObj.widget -> object .. end