diff options
| author | Victor Kareh <[email protected]> | 2018-03-21 15:52:13 -0400 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2018-03-22 11:37:10 +0100 |
| commit | f6e3326a361afcbdec9aeff018b786bf4e346fea (patch) | |
| tree | 35afd277cf21e4c1c37cd5685926bcb06dbccc6b /src/ui/tile-preview.c | |
| parent | 3c2f9856d82f42a42732e1c813ac2ff339077ea6 (diff) | |
| download | marco-f6e3326a361afcbdec9aeff018b786bf4e346fea.tar.bz2 marco-f6e3326a361afcbdec9aeff018b786bf4e346fea.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 |