diff options
| author | Victor Kareh <[email protected]> | 2018-04-24 15:09:08 -0400 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2018-04-29 13:56:15 +0200 |
| commit | 8074c01f0e8d15cc0b625c2ad34ff57c0a2fbf3b (patch) | |
| tree | 6600830e93a6830e2ec3967cf28e646006688002 /src/core | |
| parent | 45d8f75f6fb9bf7945549e400d192e0982a8fa5d (diff) | |
| download | marco-8074c01f0e8d15cc0b625c2ad34ff57c0a2fbf3b.tar.bz2 marco-8074c01f0e8d15cc0b625c2ad34ff57c0a2fbf3b.tar.xz | |
Correct resize popup position on HiDPI displays
Diffstat (limited to 'src/core')
| -rw-r--r-- | src/core/window.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/core/window.c b/src/core/window.c index 3f6314d6..f366ff1b 100644 --- a/src/core/window.c +++ b/src/core/window.c @@ -8060,8 +8060,11 @@ meta_window_refresh_resize_popup (MetaWindow *window) if (window->display->grab_resize_popup == NULL) { - if (window->size_hints.width_inc > 1 || - window->size_hints.height_inc > 1) + gint scale = gdk_window_get_scale_factor (gdk_get_default_root_window ()); + /* Display the resize popup only for windows that report an + * increment hint that's larger than the scale factor. */ + if (window->size_hints.width_inc > scale || + window->size_hints.height_inc > scale) window->display->grab_resize_popup = meta_ui_resize_popup_new (window->display->xdisplay, window->screen->number); |