[gnome-shell] windowManager: Don't shift OR windows when inserting a workspace
- From: Florian MĂźllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell] windowManager: Don't shift OR windows when inserting a workspace
- Date: Fri, 16 Jan 2015 18:31:02 +0000 (UTC)
commit 67ec1e551916d7c2ed248b4e09428de7434ed6b8
Author: Florian MĂźllner <fmuellner gnome org>
Date: Fri Jan 16 01:19:37 2015 +0100
windowManager: Don't shift OR windows when inserting a workspace
We are not supposed to mess around with OR windows, so don't try
to shift them to a different workspace. This fixes a warning with
newer versions of mutter.
https://bugzilla.gnome.org/show_bug.cgi?id=665764
js/ui/windowManager.js | 3 +++
1 files changed, 3 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 70d723c..b450376 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -904,6 +904,9 @@ const WindowManager = new Lang.Class({
// to move it
if (window.get_transient_for() != null)
return;
+ // Same for OR windows
+ if (window.is_override_redirect())
+ return;
// Windows on workspaces below pos don't need moving
let index = window.get_workspace().index();
if (index < pos)
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]