Module Ev.InputSource

Input events.

Sourcetype t

The type for InputEvent objects.

Sourceval data : t -> Jstr.t

data i are the inserted characters. This may be empty e.g. if characters are being deleted.

Sourceval data_transfer : t -> Data_transfer.t option

data_transfer i has data in a richer form.

Sourceval input_type : t -> Jstr.t

input_type i is a high-level description the input operation. See here for actual values.

Sourceval is_composing : t -> bool

is_composing i is true if the event occurs between compositionstart and compositionend events.