From d34848986293b47a4816656de4b1b117f021e82c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Alberts=20Muktup=C4=81vels?= Date: Thu, 6 May 2021 22:59:41 +0300 Subject: 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 36b4877..64aa5fb 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); -- cgit v1.2.1