diff options
author | Tony Crisci <tony@dubstepdish.com> | 2018-03-27 17:37:03 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-03-27 17:37:03 -0400 |
commit | 575bc81d54f98841c28718b1667d27acc136a48a (patch) | |
tree | 945fe17fb270b90ec50ff4be9097b04b510ac075 /examples/support/config.h | |
parent | 6f2de28e5ebc1f8d2b2f2bd2e0532ffe994cd95a (diff) | |
parent | 4abca435cc1ca9d89c077f0d06419696213a36c4 (diff) |
Merge pull request #754 from emersion/popup-map-unmap-damage
[WIP] xdg-shell: damage view when popup is mapped/unmapped
Diffstat (limited to 'examples/support/config.h')
0 files changed, 0 insertions, 0 deletions