Module Stk.Event_boxSource

Event boxes.

Sourceclass event_box : ?classes:string list option -> ?name:string option -> ?props:Props.t option -> ?wdata: Widget.wdata option -> unit -> object ... end

An event_box is a Bin.bin widget which differs in the way events are propagated: if an event is not handled by this widget, then it is propagated to its child. This is useful for example to catch keystrokes for keyboard shortcuts.

Sourcetype Widget.widget_type +=
  1. | Event_box of event_box
Sourceval event_box : ?classes:string list -> ?name:string -> ?props:Props.t -> ?wdata:Widget.wdata -> ?pack:(Widget.widget -> unit) -> unit -> event_box

Convenient function to create a event_box. See Widget arguments for arguments.