[gnome-shell/wip/exalm/gestures: 5/11] round

[Alexander Mikhaylenko <alexm src gnome org>]

commit b6429b593fb84557e1170c591c5eddc85d7d6ea4
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 d5f1febc5..9892f083d 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) {