From 5e9f4eea451a77ba3b93db3747841ed2bd969e9f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Sun, 30 Sep 2018 14:09:20 +0200 Subject: New upstream version 0.30.1 --- src/util/ui.vala | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) (limited to 'src/util/ui.vala') diff --git a/src/util/ui.vala b/src/util/ui.vala index e1c22f1..7e7348f 100644 --- a/src/util/ui.vala +++ b/src/util/ui.vala @@ -86,3 +86,20 @@ public bool has_only_key_modifier(Gdk.ModifierType field, Gdk.ModifierType mask) | Gdk.ModifierType.META_MASK)) == mask; } +#if ENABLE_FACES +bool is_pointer_over(Gdk.Window window) { + Gdk.DeviceManager? devmgr = window.get_display().get_device_manager(); + if (devmgr == null) { + debug("No device for display"); + + return false; + } + + int x, y; + devmgr.get_client_pointer().get_position(null, out x, out y); + //gdk_device_get_position(devmgr.get_client_pointer(), null, out x, out y); + + return x >= 0 && y >= 0 && x < window.get_width() && y < window.get_height(); +} +#endif + -- cgit v1.2.3