diff options
| author | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2018-03-23 10:50:04 -0500 |
|---|---|---|
| committer | Marco Trevisan <mail@3v1n0.net> | 2018-04-03 20:27:21 +0000 |
| commit | deda7a52355566723b45dad3d18108d326c06633 (patch) | |
| tree | bd8321b07bbb0973efd8be96e34bea554ccc2449 /src/ui | |
| parent | 96141e28f9c5721e30c89eec34650c9f676fb608 (diff) | |
| download | mutter-deda7a52355566723b45dad3d18108d326c06633.tar.gz | |
theme: Scale titlebar spacing when computing x
The value is not scaled by default so it needs to be adjusted
depending on the window scaling, as it's done in other places.
Fixes: #87
Diffstat (limited to 'src/ui')
| -rw-r--r-- | src/ui/theme.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ui/theme.c b/src/ui/theme.c index 8786b17f3..b909d9b6a 100644 --- a/src/ui/theme.c +++ b/src/ui/theme.c @@ -580,7 +580,7 @@ meta_frame_layout_calc_geometry (MetaFrameLayout *layout, x = rect->visible.x - layout->button_margin.left * scale; if (i > 0) - x -= layout->titlebar_spacing; + x -= layout->titlebar_spacing * scale; --i; } |