brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

windowManager: Don't shift OR windows when inserting a workspace

Browse Source 
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
This commit is contained in:
Florian Müllner 2015-01-16 01:19:37 +01:00
parent cc05d303d8
commit 67ec1e5519
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
js/ui/windowManager.js
View File

@ -904,6 +904,9 @@ const WindowManager = new Lang.Class({
// to move it // to move it
if (window.get_transient_for() != null) if (window.get_transient_for() != null)
return; return;
// Same for OR windows
if (window.is_override_redirect())
return;
// Windows on workspaces below pos don't need moving // Windows on workspaces below pos don't need moving
let index = window.get_workspace().index(); let index = window.get_workspace().index();
if (index < pos) if (index < pos)