Florian Müllner 57c1078ee7 theme: Scale window decorations on HiDPI displays
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
2015-03-17 17:09:48 +01:00
2015-03-15 14:41:22 +01:00
2014-03-18 20:37:35 -04:00
2015-03-04 21:00:48 +01:00
2014-07-31 17:50:28 +02:00
2015-03-04 21:00:48 +01:00
Description
91 MiB
Languages
C 98.9%
Meson 0.7%
Python 0.3%