From 5edd3e5d196ff6d773a3d8ab69f4abdcf75b5817 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tor=20Hedin=20Br=C3=B8nner?= <torhedinbronner@gmail.com>
Date: Mon, 27 Aug 2018 01:23:53 +0200
Subject: [PATCH] Use global.get_pointer() to get pointer position

Gdk is unreliable unnecessarily complicated.
---
 gestures.js | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/gestures.js b/gestures.js
index e3023bb..971c005 100644
--- a/gestures.js
+++ b/gestures.js
@@ -7,7 +7,6 @@ var PopupMenu = imports.ui.popupMenu;
 var Clutter = imports.gi.Clutter;
 var Main = imports.ui.main;
 var Tweener = imports.ui.tweener;
-var Gdk = imports.gi.Gdk;
 
 var Utils = Extension.imports.utils;
 var Tiling = Extension.imports.tiling;
@@ -173,10 +172,7 @@ function done(actor) {
 
 function focusWindowAtPointer(actor) {
     log(`focus at pointer`)
-    let display = Gdk.Display.get_default();
-    let deviceManager = display.get_device_manager();
-    let pointer = deviceManager.get_client_pointer();
-    let [$, x, y] = pointer.get_position();
+    let [x, y, mask] = global.get_pointer();
     let space = actor.space;
     x -= space.monitor.x;
     y -= space.monitor.y;