[libwnck/wip/muktupavels/tasklist-hidpi: 2/2] tasklist: scale up icon geometry to device pixels

[Alberts Muktupāvels <muktupavels src gnome org>]

commit 548cb7ab7b58679f3ab350e2b75cb88a2b78ba75
Author: Alberts Muktupāvels <alberts muktupavels gmail com>
Date:   Thu May 6 22:59:41 2021 +0300

    tasklist: scale up icon geometry to device pixels

 libwnck/tasklist.c | 8 ++++++++
 1 file changed, 8 insertions(+)
---
diff --git a/libwnck/tasklist.c b/libwnck/tasklist.c
index 1ca5a00..48536d0 100644
--- a/libwnck/tasklist.c
+++ b/libwnck/tasklist.c
@@ -2678,9 +2678,12 @@ static void
 wnck_tasklist_update_icon_geometries (WnckTasklist *tasklist,
                                      GList        *visible_tasks)
 {
+       int scale;
        gint x, y, width, height;
        GList *l1;
 
+       scale = gtk_widget_get_scale_factor (GTK_WIDGET (tasklist));
+
        for (l1 = visible_tasks; l1; l1 = l1->next) {
                WnckTask *task = WNCK_TASK (l1->data);
                 GtkAllocation allocation;
@@ -2703,6 +2706,11 @@ wnck_tasklist_update_icon_geometries (WnckTasklist *tasklist,
                 width = allocation.width;
                 height = allocation.height;
 
+                x *= scale;
+                y *= scale;
+                width *= scale;
+                height *= scale;
+
                if (task->window)
                        wnck_window_set_icon_geometry (task->window,
                                                       x, y, width, height);