Select window under pointer when clicking on spaces

This commit is contained in:
Tor Hedin Brønner
2018-09-21 13:02:13 +02:00
parent 27a7f6439e
commit f4d2bc1fdd
+7 -1
View File
@@ -152,10 +152,16 @@ class Space extends Array {
// This kills all input on X11, but works on wayland...
if (Meta.is_wayland_compositor()) {
Main.layoutManager.trackChrome(background);
this.signals.connect(background, 'button-press-event', () => {
this.signals.connect(background, 'button-press-event', (actor, event) => {
let [aX, aY, mask] = global.get_pointer();
let [ok, x, y] =
this.actor.transform_stage_point(aX, aY);
let windowAtPoint = this.getWindowAtPoint(x, y);
if (!inPreview)
return;
let nav = Navigator.getNavigator();
if (windowAtPoint)
ensureViewport(windowAtPoint, this);
spaces.selectedSpace = this;
nav.finish();
});