class EVENT_CATCHER

Features exported to VISION

EVENT_CATCHER is the JOB that handle graphic interface relative events. The event_catcher wait for such events and emit signal relative to this event. Previously registred procedure (via vision.*_connect) are executed.

For more information about JOB, see lib/sequencer and tutorial/sequencer directories. Events without parameters: 2: KeyPress = key_down 3: KeyRelease = key_up 7: EnterNotify = pointer_enter 8: LeaveNotify = pointer_leave 9: FocusIn = focus_in 10: FocusOut = focus_out 11: KeymapNotify = ??????????? 12: Expose = expose (expose_area need repaint) 13: GraphicsExpose = ??????????? 14: NoExpose = ??????????? 16: CreateNotify = ??????????? 17: DestroyNotify = ??????????? 18: UnmapNotify = unmaped 19: MapNotify = maped 20: MapRequest = ??????????? find examples... 21: ReparentNotify = ??????????? 23: ConfigureRequest = ??????????? 24: GravityNotify = 25: ResizeRequest = ??????????? 101 give information 26: CirculateNotify = 27: CirculateRequest = 28: PropertyNotify = 29: SelectionClear = 30: SelectionRequest = 31: SelectionNotify = 32: ColormapNotify = ??????????? how many events 33: ClientMessage = 34: MappingNotify = 40: Button1Press = when_left_down 41: Button2Press = when_middle_down 42: Button3Press = when_right_down 43: WheelUp = when_wheel_up --rotate up 44: WheelDown = when_wheel_down --rotate down 50: Button1Release = when_left_up 51: Button2Release = when_middle_up 52: Button3Release = when_right_up 60: Unobscured = fully_visible 61: PartiallyObscured= partially_visible 62: FullyObscured = not_visible 63: DeleteWindow = when_close_requested Events with parameters: 100: MotionNotify(x,y:INTEGER) = pointer_move 101: ConfigureNotify(x,y,width,height:INTEGER) = geometry_change 102: ConfigureNotify(x,y,width,height:INTEGER) = window move 103: ConfigureNotify(x,y,width,height:INTEGER) = window_resize

Direct parents

conformant parents

GRAPHIC, JOB

Summary

creation features

exported features

Details

make (g_c: GRAPHIC_CONNECTION)
continue

Continue to do the job The work to do has to be small work and non blocking, it will continue on next call

current_event_type: INTEGER
stop
preprocess_left_down (p: PROCEDURE [O_ -> TUPLE][TUPLE])
widget: HASHED_DICTIONARY [V_, K_ -> HASHABLE][SENSITIVEPOINTER]
event: FAST_ARRAY [E_][DICTIONARY [V_, K_][SIGNAL_0SENSITIVE]]
pointer_move_event: HASHED_DICTIONARY [V_, K_ -> HASHABLE][SIGNAL_2 [E, F][INTEGERINTEGER]SENSITIVE]
geometry_change_event: HASHED_DICTIONARY [V_, K_ -> HASHABLE][SIGNAL_4 [E, F, G, H][INTEGERINTEGERINTEGERINTEGER]SENSITIVE]

Class invariant