1 /* GDK - The GIMP Drawing Kit
2 * Copyright (C) 1995-1997 Peter Mattis, Spencer Kimball and Josh MacDonald
4 * This library is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU Lesser General Public
6 * License as published by the Free Software Foundation; either
7 * version 2 of the License, or (at your option) any later version.
9 * This library is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 * Lesser General Public License for more details.
14 * You should have received a copy of the GNU Lesser General Public
15 * License along with this library; if not, write to the
16 * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
17 * Boston, MA 02111-1307, USA.
20 #include "gdkinputprivate.h"
23 * Modified by the GTK+ Team and others 1997-2000. See the AUTHORS
24 * file for a list of people on the GTK+ Team. See the ChangeLog
25 * files for a list of changes. These files are distributed with
26 * GTK+ at ftp://ftp.gtk.org/pub/gtk/.
32 gdk_input_devices = g_list_append (NULL, gdk_core_pointer);
34 gdk_input_ignore_core = FALSE;
38 gdk_device_get_state (GdkDevice *device,
41 GdkModifierType *mask)
45 g_return_if_fail (device != NULL);
46 g_return_if_fail (GDK_IS_WINDOW (window));
48 gdk_window_get_pointer (window, &x_int, &y_int, mask);
58 _gdk_device_get_history (GdkDevice *device,
62 GdkTimeCoord ***events,
65 g_warning ("gdk_device_get_history() called for invalid device");
70 _gdk_input_enable_window(GdkWindow *window, GdkDevicePrivate *gdkdev)
76 _gdk_input_disable_window(GdkWindow *window, GdkDevicePrivate *gdkdev)
82 _gdk_input_window_none_event (GdkEvent *event,
89 _gdk_input_other_event (GdkEvent *event,
97 _gdk_input_configure_event (XConfigureEvent *xevent,
103 _gdk_input_enter_event (XCrossingEvent *xevent,
109 _gdk_input_grab_pointer (GdkWindow * window,
111 GdkEventMask event_mask,
112 GdkWindow * confine_to,
119 _gdk_input_ungrab_pointer (guint32 time)
124 gdk_device_set_mode (GdkDevice *device,