[gnome-shell] WindowManager: ignore ctrl-alt-left/right

[Giovanni Campagna <gcampagna src gnome org>]

commit c3d3d346d412acd8e9c6b93f0ba5277c6acf8bc4
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Wed Jun 27 22:07:32 2012 +0200

    WindowManager: ignore ctrl-alt-left/right
    
    Fixes a regression introduced in de72065a
    
    https://bugzilla.gnome.org/show_bug.cgi?id=679005

 js/ui/windowManager.js |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index dc79f32..d096c83 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -588,6 +588,10 @@ const WindowManager = new Lang.Class({
         let [action,,,direction] = binding.get_name().split('-');
         let direction = Meta.MotionDirection[direction.toUpperCase()];
 
+        if (direction != Meta.MotionDirection.UP &&
+            direction != Meta.MotionDirection.DOWN)
+            return;
+
         if (action == 'switch')
             this.actionMoveWorkspace(direction);
         else