diff options
author | monsta <[email protected]> | 2015-10-23 14:34:54 +0300 |
---|---|---|
committer | Wolfgang Ulbrich <[email protected]> | 2015-10-26 15:11:03 +0100 |
commit | a98e4ba48fd8b3812c09e818987c8e34412ada9a (patch) | |
tree | fd7d3a462b3ed3f7956b0c29d799f3ecbc7f9c31 /src/ui | |
parent | 0986017877ae4b21ecf8e154c3bbe11cb80e79dd (diff) | |
download | marco-a98e4ba48fd8b3812c09e818987c8e34412ada9a.tar.bz2 marco-a98e4ba48fd8b3812c09e818987c8e34412ada9a.tar.xz |
constraints: take into account _GTK_FRAME_EXTENTS
ported from
https://git.gnome.org/browse/metacity/commit/?id=8f699b71bd7e5581ec2f2804ea9650597618dfe1
Diffstat (limited to 'src/ui')
0 files changed, 0 insertions, 0 deletions