Packages
gdk-3.0
Gdk
Event
any
button
configure
crossing
dnd
expose
focus_change
grab_broken
key
motion
owner_change
pad_axis
pad_button
pad_group_mode
property
proximity
scroll
selection
setting
touch
touchpad_pinch
touchpad_swipe
visibility
window_state
@get
handler_set
peek
request_motions
Event
copy
free
get_axis
get_button
get_click_count
get_coords
get_device
get_device_tool
get_event_sequence
get_event_type
get_keycode
get_keyval
get_pointer_emulated
get_root_coords
get_scancode
get_screen
get_scroll_deltas
get_scroll_direction
get_seat
get_source_device
get_state
get_time
get_window
is_scroll_stop_event
put
set_device
set_device_tool
set_screen
set_source_device
triggers_context_menu
type
proximity
Description:
public
EventProximity
proximity
{
get
; }