get_screen_number

Description:

public int get_screen_number ()

Returns the index of a `GdkX11Screen`.

Parameters:

this

a `GdkX11Screen`

Returns:

the position of this among the screens of its display