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 Pervasives.ref
val flush : (string -> unit) Pervasives.ref
val warning : ('a, Format.formatter, unit) Pervasives.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
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
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