diff options
author | monsta <[email protected]> | 2015-10-23 14:34:54 +0300 |
---|---|---|
committer | monsta <[email protected]> | 2015-10-26 11:02:58 +0300 |
commit | 4007ca1c695c84a3a82d1fcdf81950d4062ccdf0 (patch) | |
tree | 397c2c5195370361c407c900a05b21dcd61cd9e2 /src/tools | |
parent | c340832a15d4b718f85e11fcc2d0bd73d492e102 (diff) | |
download | marco-4007ca1c695c84a3a82d1fcdf81950d4062ccdf0.tar.bz2 marco-4007ca1c695c84a3a82d1fcdf81950d4062ccdf0.tar.xz |
constraints: take into account _GTK_FRAME_EXTENTS
ported from
https://git.gnome.org/browse/metacity/commit/?id=8f699b71bd7e5581ec2f2804ea9650597618dfe1
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions