diff options
| author | Victor Kareh <[email protected]> | 2018-03-21 15:52:13 -0400 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2018-03-22 11:53:26 +0100 |
| commit | b9fd3c1c0a252051ba9cad18e8427511f240d5da (patch) | |
| tree | 0262343f70cca8ade47bf3ca973bb6913b407939 /src/ui/tile-preview.c | |
| parent | 61686208e5acd2867c14370c751efb2b07eba537 (diff) | |
| download | marco-b9fd3c1c0a252051ba9cad18e8427511f240d5da.tar.bz2 marco-b9fd3c1c0a252051ba9cad18e8427511f240d5da.tar.xz | |
Support HiDPI window decorations
Diffstat (limited to 'src/ui/tile-preview.c')
| -rw-r--r-- | src/ui/tile-preview.c | 7 |
1 files changed, 7 insertions, 0 deletions
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 |