theme: Scale window decorations on HiDPI displays

Desktop / GNOME / Mutter - Florian Müllner [gnome.org] - 17 March 2015 11:09 UTC

As we opt out of GTK+/Clutter's HiDPI handling, we need to apply the window scaling factor manually to decorations, both the geometry and when drawing.

https://bugzilla.gnome.org/show_bug.cgi?id=744354

57c1078 theme: Scale window decorations on HiDPI displays
src/ui/frames.c | 9 ++++-
src/ui/theme-private.h | 1 +
src/ui/theme.c | 104 +++++++++++++++++++++++++++++++++++-------------
3 files changed, 84 insertions(+), 30 deletions(-)

Upstream: git.gnome.org

  • Share