Module WidgetSource

Sourcetype box = {
  1. x : float;
  2. y : float;
  3. w : float;
  4. h : float;
}
Sourceval contains : box -> float -> float -> bool
Sourcetype id = float * float
Sourceval id : box -> id
Sourceval inset : float -> box -> box
Sourceval left : box -> float
Sourceval right : box -> float
Sourceval top : box -> float
Sourceval bottom : box -> float
Sourcetype input = {
  1. mx : float;
  2. my : float;
  3. mdown : bool;
  4. mclick : bool;
  5. mrdown : bool;
  6. typed : string;
  7. wheel : float;
  8. keys : string list;
}
Sourceval no_input : input
Sourcetype canvas_event =
  1. | Hover of float * float
  2. | Press of float * float
  3. | Right_press of float * float
Sourcetype paint =
  1. | Fill of Color.t * box
  2. | Text of Color.t * box * string
  3. | Disc of Color.t * float * float * float
  4. | Segment of Color.t * float * float * float * float * float
Sourceval frame : Color.t -> float -> box -> paint list
Sourceval text_width : size:float -> string -> float