[gnome-shell] windowManager: Update API call

[Carlos Garnacho <carlosg src gnome org>]

commit 7e5274619aa2a3edf0a48ba9ae6e1a92edfbc5f4
Author: Carlos Garnacho <carlosg gnome org>
Date:   Tue May 3 13:22:53 2016 +0200

    windowManager: Update API call
    
    This function has now a more generic name, so it caters for both
    swipe and pinch touchpad gestures.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=765937

 js/ui/windowManager.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 3fb59ec..fc34aab 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -511,7 +511,7 @@ const TouchpadWorkspaceSwitchAction = new Lang.Class({
         if (event.type() != Clutter.EventType.TOUCHPAD_SWIPE)
             return Clutter.EVENT_PROPAGATE;
 
-        if (event.get_gesture_swipe_finger_count() != 4)
+        if (event.get_touchpad_gesture_finger_count() != 4)
             return Clutter.EVENT_PROPAGATE;
 
         if (event.get_gesture_phase() == Clutter.TouchpadGesturePhase.UPDATE) {