diff options
| author | Alberts Muktupāvels <alberts.muktupavels@gmail.com> | 2021-05-06 22:59:41 +0300 |
|---|---|---|
| committer | Marco Trevisan <mail@3v1n0.net> | 2021-05-10 15:31:46 +0000 |
| commit | d34848986293b47a4816656de4b1b117f021e82c (patch) | |
| tree | a1014744d5f24a585602149a12ac9136ea800473 | |
| parent | e595a6239b5f7a505223257e3a6165ecac897f75 (diff) | |
| download | libwnck-d34848986293b47a4816656de4b1b117f021e82c.tar.gz | |
tasklist: scale up icon geometry to device pixels
| -rw-r--r-- | libwnck/tasklist.c | 8 |
1 files changed, 8 insertions, 0 deletions
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); |