package lambda-term
Module LTerm_mouseSource
Mouse events
Type of mouse button.
Source
type t = {control : bool;(*Is the control key down ?
*)meta : bool;(*Is the meta key down ?
*)shift : bool;(*Is the shift key down ?
*)row : int;(*The row at which the mouse was when the button has been pressed.
*)col : int;(*The column at which the mouse was when the button has been pressed.
*)
}Type of mouse click event.