WindowManager: ignore ctrl-alt-left/right

Fixes a regression introduced in de72065a https://bugzilla.gnome.org/show_bug.cgi?id=679005
2012-06-27 22:07:32 +02:00 · 2012-06-27 22:07:32 +02:00 · c3d3d346d4
commit c3d3d346d4
parent e43fe98263
1 changed files with 4 additions and 0 deletions
--- 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