[gnome-shell/wip/exalm/gestures: 8/21] round

[Alexander Mikhaylenko <alexm src gnome org>]

commit bde2689152f872045cf242da68f4b4b36e2d4322
Author: Alexander Mikhaylenko <exalm7659 gmail com>
Date:   Sun Jun 23 18:22:15 2019 +0500

    round

 js/ui/windowManager.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/js/ui/windowManager.js b/js/ui/windowManager.js
index 95a0148b8..faacb9b0a 100644
--- a/js/ui/windowManager.js
+++ b/js/ui/windowManager.js
@@ -1151,7 +1151,7 @@ var WindowManager = class {
         if (!this._switchData)
             return;
 
-        this._switchData.container.set_position(0, -progress * 1080);
+        this._switchData.container.set_position(0, Math.round(-progress * (global.screen_height - 
Main.panel.height)));
     }
 
     _switchWorkspaceEnd(tracker, duration, isBack) {