vhad/PaperWM
1
0
Fork 0
mirror of https://github.com/gosticks/PaperWM.git synced 2026-10-04 19:46:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Use global.get_pointer() to get pointer position

Browse Source 
Gdk is unreliable unnecessarily complicated.
This commit is contained in:
Tor Hedin Brønner
2018-08-27 20:33:34 +02:00
parent 04ee2f3691
commit 5edd3e5d19
1 changed files with 1 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
gestures.js
+1 -5
View File
@@ -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;