[gnome-shell/wip/exalm/gestures: 23/23] windowManager: Clip workspace animation to current monitor
- From: Alexander Mikhaylenko <alexm src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell/wip/exalm/gestures: 23/23] windowManager: Clip workspace animation to current monitor
- Date: Tue, 2 Jul 2019 12:46:10 +0000 (UTC)
commit 4c2a7fe1ac53c74191763407008bdadb67f401d4
Author: Alexander Mikhaylenko <exalm7659 gmail com>
Date: Mon Jul 1 13:53:49 2019 +0500
windowManager: Clip workspace animation to current monitor
Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/1213
https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/605
js/ui/windowManager.js | 7 ++++++-
1 file changed, 6 insertions(+), 1 deletion(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 409d84e74..e99f11f0a 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1718,12 +1718,16 @@ var WindowManager = class {
continue;
let monitorData = { index: monitor.index,
+ clipBin: new Clutter.Actor(),
container: new Clutter.Actor(),
curGroup: new Clutter.Actor(),
surroundings: {} };
monitorData.container.add_actor(monitorData.curGroup);
- wgroup.add_actor(monitorData.container);
+
+ monitorData.clipBin.add_actor(monitorData.container);
+ monitorData.clipBin.set_clip(monitor.x, monitor.y, monitor.width, monitor.height);
+ wgroup.add_actor(monitorData.clipBin);
for (let dir of Object.values(Meta.MotionDirection)) {
let ws = null;
@@ -1825,6 +1829,7 @@ var WindowManager = class {
let container = monitorData.container;
Tweener.removeTweens(container);
container.destroy();
+ monitorData.clipBin.destroy();
}
switchData.movingWindowBin.destroy();
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]