diff options
author | Alberts Muktupāvels <alberts.muktupavels@gmail.com> | 2021-05-06 22:54:31 +0300 |
---|---|---|
committer | Marco Trevisan <mail@3v1n0.net> | 2021-05-10 15:31:46 +0000 |
commit | e595a6239b5f7a505223257e3a6165ecac897f75 (patch) | |
tree | 8b833d01286b8fad61c145407d944afc3f6bd2ba | |
parent | 849d465d53fa857d8afb521f87f1b9536fca536b (diff) | |
download | libwnck-e595a6239b5f7a505223257e3a6165ecac897f75.tar.gz |
tasklist: scale down window geometry to application 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 95f062a..36b4877 100644 --- a/libwnck/tasklist.c +++ b/libwnck/tasklist.c @@ -2417,11 +2417,19 @@ tasklist_include_window_impl (WnckTasklist *tasklist, if (tasklist->priv->monitor != NULL) { + int scale; GdkDisplay *display; GdkMonitor *monitor; wnck_window_get_geometry (win, &x, &y, &w, &h); + scale = gtk_widget_get_scale_factor (GTK_WIDGET (tasklist)); + + x /= scale; + y /= scale; + w /= scale; + h /= scale; + /* Don't include the window if its center point is not on the same monitor */ display = gdk_display_get_default (); |