Module FocusSource

Sourcetype t
Sourceval none : t
Sourceval frame : t -> t
Sourceval saw : Widget.id -> t -> t
Sourceval has : Widget.id -> t -> bool
Sourceval give : Widget.id -> t -> t
Sourceval clear : t -> t
Sourceval next : t -> t
Sourceval previous : t -> t