[gnome-shell-extensions/ws-thumb-fixes: 1/5] workspace-indicator: Round calculated preview sizes

[Marge Bot <marge-bot src gnome org>]

commit f5128e13f21f41d632cd9ec1de2f55a77e9a3dfe
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Dec 2 19:09:57 2020 +0100

    workspace-indicator: Round calculated preview sizes
    
    While not strictly necessary, there's no reason to differ from the
    copy in the window-list extension ...
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/142>

 extensions/workspace-indicator/extension.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/extensions/workspace-indicator/extension.js b/extensions/workspace-indicator/extension.js
index 21080c1..6452eef 100644
--- a/extensions/workspace-indicator/extension.js
+++ b/extensions/workspace-indicator/extension.js
@@ -94,8 +94,8 @@ class WorkspaceLayout extends Clutter.LayoutManager {
             const childBox = new Clutter.ActorBox();
             const frameRect = child.metaWindow.get_frame_rect();
             childBox.set_size(
-                Math.min(frameRect.width, workArea.width) * hscale,
-                Math.min(frameRect.height, workArea.height) * vscale);
+                Math.round(Math.min(frameRect.width, workArea.width) * hscale),
+                Math.round(Math.min(frameRect.height, workArea.height) * vscale));
             childBox.set_origin(
                 Math.round(frameRect.x * hscale),
                 Math.round(frameRect.y * vscale));