From b9fd3c1c0a252051ba9cad18e8427511f240d5da Mon Sep 17 00:00:00 2001 From: Victor Kareh Date: Wed, 21 Mar 2018 15:52:13 -0400 Subject: Support HiDPI window decorations --- src/ui/tile-preview.c | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'src/ui/tile-preview.c') diff --git a/src/ui/tile-preview.c b/src/ui/tile-preview.c index d99529ff..f98713b4 100644 --- a/src/ui/tile-preview.c +++ b/src/ui/tile-preview.c @@ -175,6 +175,13 @@ meta_tile_preview_show (MetaTilePreview *preview, { GdkWindow *window; GdkRectangle old_rect; + gint scale; + + scale = gtk_widget_get_scale_factor (preview->preview_window); + tile_rect->x /= scale; + tile_rect->y /= scale; + tile_rect->width /= scale; + tile_rect->height /= scale; if (gtk_widget_get_visible (preview->preview_window) && preview->tile_rect.x == tile_rect->x -- cgit v1.2.1