diff options
author | Alexander Larsson <alexl@redhat.com> | 2013-07-03 11:52:58 +0200 |
---|---|---|
committer | Alexander Larsson <alexl@redhat.com> | 2013-07-03 14:39:25 +0200 |
commit | e8b38fedbd8961df4aaaa75b122a06ddc68e75f2 (patch) | |
tree | f8543ff9715a6f480e1bc645268844455ed3df2e /gdk/gdkinternals.h | |
parent | 867ba1df27b9ed27d2d3ed6d43b536484635da18 (diff) | |
download | gtk+-e8b38fedbd8961df4aaaa75b122a06ddc68e75f2.tar.gz |
gdk: Convert mouse position to doubles, add new getters
We've long had double precision mouse coordinates on wayland (e.g.
when rotating a window) but with the new scaling we even have it on
X (and, its also in Xinput2), so convert all the internal mouse/device
position getters to use doubles and add new accessors for the
public APIs that take doubles instead of ints.
Diffstat (limited to 'gdk/gdkinternals.h')
-rw-r--r-- | gdk/gdkinternals.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gdk/gdkinternals.h b/gdk/gdkinternals.h index e7eb9d5b40..87d9941874 100644 --- a/gdk/gdkinternals.h +++ b/gdk/gdkinternals.h @@ -358,7 +358,7 @@ void _gdk_window_invalidate_for_expose (GdkWindow *window, cairo_region_t *region); GdkWindow * _gdk_window_find_child_at (GdkWindow *window, - int x, int y); + double x, double y); GdkWindow * _gdk_window_find_descendant_at (GdkWindow *toplevel, double x, double y, double *found_x, @@ -380,8 +380,8 @@ void _gdk_synthesize_crossing_events (GdkDisplay *display, GdkDevice *device, GdkDevice *source_device, GdkCrossingMode mode, - gint toplevel_x, - gint toplevel_y, + gdouble toplevel_x, + gdouble toplevel_y, GdkModifierType mask, guint32 time_, GdkEvent *event_in_queue, |