Module ImmediateSource

Sourcetype t
Sourceval empty : t
Sourceval frame : Widget.input -> t -> t
Sourceval paint : t -> Widget.paint list
Sourceval theme : t -> Theme.t
Sourceval set_theme : Theme.t -> t -> t
Sourceval modal : t -> bool
Sourceval label : t -> Widget.box -> string -> t
Sourceval button : ?enabled:bool -> t -> Widget.box -> string -> t * bool
Sourceval checkbox : t -> Widget.box -> string -> bool -> t * bool
Sourceval field : ?enabled:bool -> t -> Widget.box -> string -> t * string
Sourceval slider : t -> Widget.box -> from:float -> to_:float -> float -> t * float
Sourceval knob : t -> Widget.box -> from:float -> to_:float -> float -> t * float
Sourceval knob_travel : float
Sourceval rocker : t -> Widget.box -> bool -> t * bool
Sourceval selector : t -> Widget.box -> string list -> int -> t * int
Sourceval selector_step : float
Sourceval text_area : t -> Widget.box -> Text_edit.t -> t * Text_edit.t
Sourceval progress : t -> Widget.box -> float -> t
Sourceval menu : t -> Widget.box -> string list -> int -> t * int
Sourceval list : t -> Widget.box -> string list -> int option -> t * int option
Sourceval canvas : t -> Widget.box -> t * Widget.canvas_event list
Sourceval draw : t -> Widget.paint list -> t
Sourceval context_menu : t -> (float * float) -> string list -> t * [ `Open | `Chosen of int | `Dismissed ]
Sourceval button_size : Theme.t -> string -> float * float
Sourceval checkbox_size : Theme.t -> string -> float * float
Sourceval slider_size : Theme.t -> float * float
Sourceval knob_size : Theme.t -> float * float
Sourceval rocker_size : Theme.t -> float * float
Sourceval selector_size : Theme.t -> string list -> float * float
Sourceval field_size : Theme.t -> float * float
Sourceval progress_size : Theme.t -> float * float
Sourceval text_area_size : Theme.t -> float * float
Sourceval menu_size : Theme.t -> string list -> float * float
Sourceval list_size : Theme.t -> float * float