Ev.Input
Input events.
The type for InputEvent
objects.
data i
are the inserted characters. This may be empty e.g. if characters are being deleted.
val data_transfer : t -> Data_transfer.t option
data_transfer i
has data
in a richer form.
input_type i
is a high-level description the input operation. See here for actual values.
val is_composing : t -> bool
is_composing i
is true
if the event occurs between compositionstart
and compositionend
events.