module Gui_event_adapter:Event class for storing keyboard, mouse and window events.sig
..end
type
event_type =
| |
NONE |
| |
PUSH |
| |
RELEASE |
| |
DOUBLECLICK |
| |
DRAG |
| |
MOVE |
| |
KEYDOWN |
| |
KEYUP |
| |
FRAME |
| |
RESIZE |
| |
SCROLL |
| |
PEN_PRESSURE |
| |
PEN_PROXIMITY_ENTER |
| |
PEN_PROXIMITY_LEAVE |
| |
CLOSE_WINDOW |
| |
QUIT_APPLICATION |
| |
USER |
type
key_symbol =
| |
KEY_Custom of |
|||
| |
KEY_Space |
(* | 0x20 | *) |
| |
KEY_BackSpace |
(* | 0xFF08 | *) |
| |
KEY_Tab |
(* | 0xFF09 | *) |
| |
KEY_Linefeed |
(* | 0xFF0A | *) |
| |
KEY_Clear |
(* | 0xFF0B | *) |
| |
KEY_Return |
(* | 0xFF0D | *) |
| |
KEY_Pause |
(* | 0xFF13 | *) |
| |
KEY_Scroll_Lock |
(* | 0xFF14 | *) |
| |
KEY_Sys_Req |
(* | 0xFF15 | *) |
| |
KEY_Escape |
(* | 0xFF1B | *) |
| |
KEY_Delete |
(* | 0xFFFF | *) |
| |
KEY_Home |
(* | 0xFF50 | *) |
| |
KEY_Left |
(* | 0xFF51 | *) |
| |
KEY_Up |
(* | 0xFF52 | *) |
| |
KEY_Right |
(* | 0xFF53 | *) |
| |
KEY_Down |
(* | 0xFF54 | *) |
| |
KEY_Prior |
(* | 0xFF55 | *) |
| |
KEY_Page_Up |
(* | 0xFF55 | *) |
| |
KEY_Next |
(* | 0xFF56 | *) |
| |
KEY_Page_Down |
(* | 0xFF56 | *) |
| |
KEY_End |
(* | 0xFF57 | *) |
| |
KEY_Begin |
(* | 0xFF58 | *) |
| |
KEY_Select |
(* | 0xFF60 | *) |
| |
KEY_Print |
(* | 0xFF61 | *) |
| |
KEY_Execute |
(* | 0xFF62 | *) |
| |
KEY_Insert |
(* | 0xFF63 | *) |
| |
KEY_Undo |
(* | 0xFF65 | *) |
| |
KEY_Redo |
(* | 0xFF66 | *) |
| |
KEY_Menu |
(* | 0xFF67 | *) |
| |
KEY_Find |
(* | 0xFF68 | *) |
| |
KEY_Cancel |
(* | 0xFF69 | *) |
| |
KEY_Help |
(* | 0xFF6A | *) |
| |
KEY_Break |
(* | 0xFF6B | *) |
| |
KEY_Mode_switch |
(* | 0xFF7E | *) |
| |
KEY_Script_switch |
(* | 0xFF7E | *) |
| |
KEY_Num_Lock |
(* | 0xFF7F | *) |
| |
KEY_KP_Space |
(* | 0xFF80 | *) |
| |
KEY_KP_Tab |
(* | 0xFF89 | *) |
| |
KEY_KP_Enter |
(* | 0xFF8D | *) |
| |
KEY_KP_F1 |
(* | 0xFF91 | *) |
| |
KEY_KP_F2 |
(* | 0xFF92 | *) |
| |
KEY_KP_F3 |
(* | 0xFF93 | *) |
| |
KEY_KP_F4 |
(* | 0xFF94 | *) |
| |
KEY_KP_Home |
(* | 0xFF95 | *) |
| |
KEY_KP_Left |
(* | 0xFF96 | *) |
| |
KEY_KP_Up |
(* | 0xFF97 | *) |
| |
KEY_KP_Right |
(* | 0xFF98 | *) |
| |
KEY_KP_Down |
(* | 0xFF99 | *) |
| |
KEY_KP_Prior |
(* | 0xFF9A | *) |
| |
KEY_KP_Page_Up |
(* | 0xFF9A | *) |
| |
KEY_KP_Next |
(* | 0xFF9B | *) |
| |
KEY_KP_Page_Down |
(* | 0xFF9B | *) |
| |
KEY_KP_End |
(* | 0xFF9C | *) |
| |
KEY_KP_Begin |
(* | 0xFF9D | *) |
| |
KEY_KP_Insert |
(* | 0xFF9E | *) |
| |
KEY_KP_Delete |
(* | 0xFF9F | *) |
| |
KEY_KP_Equal |
(* | 0xFFBD | *) |
| |
KEY_KP_Multiply |
(* | 0xFFAA | *) |
| |
KEY_KP_Add |
(* | 0xFFAB | *) |
| |
KEY_KP_Separator |
(* | 0xFFAC | *) |
| |
KEY_KP_Subtract |
(* | 0xFFAD | *) |
| |
KEY_KP_Decimal |
(* | 0xFFAE | *) |
| |
KEY_KP_Divide |
(* | 0xFFAF | *) |
| |
KEY_KP_0 |
(* | 0xFFB0 | *) |
| |
KEY_KP_1 |
(* | 0xFFB1 | *) |
| |
KEY_KP_2 |
(* | 0xFFB2 | *) |
| |
KEY_KP_3 |
(* | 0xFFB3 | *) |
| |
KEY_KP_4 |
(* | 0xFFB4 | *) |
| |
KEY_KP_5 |
(* | 0xFFB5 | *) |
| |
KEY_KP_6 |
(* | 0xFFB6 | *) |
| |
KEY_KP_7 |
(* | 0xFFB7 | *) |
| |
KEY_KP_8 |
(* | 0xFFB8 | *) |
| |
KEY_KP_9 |
(* | 0xFFB9 | *) |
| |
KEY_F1 |
(* | 0xFFBE | *) |
| |
KEY_F2 |
(* | 0xFFBF | *) |
| |
KEY_F3 |
(* | 0xFFC0 | *) |
| |
KEY_F4 |
(* | 0xFFC1 | *) |
| |
KEY_F5 |
(* | 0xFFC2 | *) |
| |
KEY_F6 |
(* | 0xFFC3 | *) |
| |
KEY_F7 |
(* | 0xFFC4 | *) |
| |
KEY_F8 |
(* | 0xFFC5 | *) |
| |
KEY_F9 |
(* | 0xFFC6 | *) |
| |
KEY_F10 |
(* | 0xFFC7 | *) |
| |
KEY_F11 |
(* | 0xFFC8 | *) |
| |
KEY_F12 |
(* | 0xFFC9 | *) |
| |
KEY_F13 |
(* | 0xFFCA | *) |
| |
KEY_F14 |
(* | 0xFFCB | *) |
| |
KEY_F15 |
(* | 0xFFCC | *) |
| |
KEY_F16 |
(* | 0xFFCD | *) |
| |
KEY_F17 |
(* | 0xFFCE | *) |
| |
KEY_F18 |
(* | 0xFFCF | *) |
| |
KEY_F19 |
(* | 0xFFD0 | *) |
| |
KEY_F20 |
(* | 0xFFD1 | *) |
| |
KEY_F21 |
(* | 0xFFD2 | *) |
| |
KEY_F22 |
(* | 0xFFD3 | *) |
| |
KEY_F23 |
(* | 0xFFD4 | *) |
| |
KEY_F24 |
(* | 0xFFD5 | *) |
| |
KEY_F25 |
(* | 0xFFD6 | *) |
| |
KEY_F26 |
(* | 0xFFD7 | *) |
| |
KEY_F27 |
(* | 0xFFD8 | *) |
| |
KEY_F28 |
(* | 0xFFD9 | *) |
| |
KEY_F29 |
(* | 0xFFDA | *) |
| |
KEY_F30 |
(* | 0xFFDB | *) |
| |
KEY_F31 |
(* | 0xFFDC | *) |
| |
KEY_F32 |
(* | 0xFFDD | *) |
| |
KEY_F33 |
(* | 0xFFDE | *) |
| |
KEY_F34 |
(* | 0xFFDF | *) |
| |
KEY_F35 |
(* | 0xFFE0 | *) |
| |
KEY_Shift_L |
(* | 0xFFE1 | *) |
| |
KEY_Shift_R |
(* | 0xFFE2 | *) |
| |
KEY_Control_L |
(* | 0xFFE3 | *) |
| |
KEY_Control_R |
(* | 0xFFE4 | *) |
| |
KEY_Caps_Lock |
(* | 0xFFE5 | *) |
| |
KEY_Shift_Lock |
(* | 0xFFE6 | *) |
| |
KEY_Meta_L |
(* | 0xFFE7 | *) |
| |
KEY_Meta_R |
(* | 0xFFE8 | *) |
| |
KEY_Alt_L |
(* | 0xFFE9 | *) |
| |
KEY_Alt_R |
(* | 0xFFEA | *) |
| |
KEY_Super_L |
(* | 0xFFEB | *) |
| |
KEY_Super_R |
(* | 0xFFEC | *) |
| |
KEY_Hyper_L |
(* | 0xFFED | *) |
| |
KEY_Hyper_R |
(* | 0xFFEE | *) |
type
mouse_button =
| |
LEFT_MOUSE_BUTTON |
(* | = 1 | *) |
| |
MIDDLE_MOUSE_BUTTON |
(* | = 2 | *) |
| |
RIGHT_MOUSE_BUTTON |
(* | = 4 | *) |
type
t
val get_event_type : t -> event_type
val get_x : t -> float
val get_y : t -> float
val get_key : t -> key_symbol option
val get_button_mask : t -> int
val get_mouse_buttons : t -> mouse_button list
val get_window : t -> float * float * float * float
get_window t
-> (x, y, width, height)val get_mouse : t -> float * float * float * float
get_mouse t
-> (min_x, min_y, max_x, max_y)