Module Mosaic_ui.EventSource

Keyboard, paste, and mouse UI events with propagation control.

Keyboard, paste, and mouse UI events.

Each event type wraps terminal input from Input with propagation control and default-prevention flags used by the two-tier dispatch pipeline (global handlers first, then focused-node handlers). Mouse events additionally carry hit-testing metadata.

Keyboard events

Sourcemodule Key : sig ... end

Paste events

Sourcemodule Paste : sig ... end

Mouse events

Sourcemodule Mouse : sig ... end

Type aliases

Sourcetype key = Key.t

The type for keyboard events. Alias for Key.t.

Sourcetype paste = Paste.t

The type for paste events. Alias for Paste.t.

Sourcetype mouse = Mouse.t

The type for mouse events. Alias for Mouse.t.