note description: "Various helpers to avoid heavy code on the Eiffel side" date: "$Date$" revision: "$Revision$" class GDK_HELPERS feature -- Window window_at (a_x, a_y: TYPED_POINTER [INTEGER_32]): POINTER -- Obtain the window under the `default_device' and store its location in `a_x' and `a_y'. external "C inline use " alias "return gdk_device_get_window_at_position(gdk_seat_get_pointer(gdk_display_get_default_seat (gdk_display_get_default())), $a_x, $a_y);" end feature -- Quik access default_display: POINTER -- Default display. external "C inline use " alias "return gdk_display_get_default();" end default_seat: POINTER -- Seat associated to the `default_display'. external "C inline use " alias "return gdk_display_get_default_seat (gdk_display_get_default());" end default_device: POINTER -- Device associated to the `default_seat'. external "C inline use " alias "return gdk_seat_get_pointer(gdk_display_get_default_seat (gdk_display_get_default()));" end default_screen: POINTER -- Screen associated to the `default_display'. external "C inline use " alias "return gdk_display_get_default_screen (gdk_display_get_default());" end default_cursor_size: INTEGER_32 -- Size of cursors associated to the `default_display'. external "C inline use " alias "return gdk_display_get_default_cursor_size (gdk_display_get_default());" end note copyright: "Copyright (c) 1984-2016, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software 5949 Hollister Ave., Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Website http://www.eiffel.com Customer support http://support.eiffel.com ]" end