From b4a4ff0a06de4b7655b0e528b25cdfb4e75a6b62 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Wed, 2 Dec 2020 19:09:57 +0100 Subject: [PATCH] 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: (cherry picked from commit f5128e13f21f41d632cd9ec1de2f55a77e9a3dfe) --- 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 21080c10..6452eefb 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));