get_pointer


Description:

public void get_pointer (out unowned Screen screen, out int x, out int y, out ModifierType mask)

Gets the current location of the pointer and the current modifier mask for a given display.

Note:

Use gdk_device_get_position instead.

Parameters:

this

a Display

screen

location to store the screen that the cursor is on, or null.

x

location to store root window X coordinate of pointer, or null.

y

location to store root window Y coordinate of pointer, or null.

mask

location to store current modifier mask, or null