Gdk.Display.core_pointer – gdk-2.0 Reference Manual
Packages
gdk-2.0
Gdk
Display
get_default
open
open_default_libgtk_only
Display
add_client_message_filter
beep
close
flush
get_core_pointer
get_default_cursor_size
get_default_group
get_default_screen
get_display_name
get_event
get_maximal_cursor_size
get_n_screens
get_name
get_pointer
get_screen
get_window_at_pointer
is_closed
keyboard_ungrab
list_devices
peek_event
pointer_is_grabbed
pointer_ungrab
put_event
request_selection_notification
set_double_click_distance
set_double_click_time
set_pointer_hooks
store_clipboard
supports_clipboard_persistence
supports_composite
supports_cursor_alpha
supports_cursor_color
supports_input_shapes
supports_selection_notification
supports_shapes
sync
warp_pointer
closed
button_click_time
button_number
button_window
button_x
button_y
core_pointer
double_click_distance
double_click_time
ignore_core_events
keyboard_grab
last_event_time
pointer_grabs
pointer_hooks
pointer_info
queued_events
queued_tail
core_pointer
Description:
public
unowned
Device
core_pointer