diff options
| author | Drew DeVault <sir@cmpwn.com> | 2019-02-05 20:24:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-05 20:24:12 +0100 |
| commit | 8cf7aa3bbec47a03687fb2b5d2ef406c10c11ec5 (patch) | |
| tree | 3cbdada3dd457e72c23c18b7a85acc0c55264d5f /include/backend/drm | |
| parent | b2f56ad4a84229239f55a6e0235fa7b76a9b2feb (diff) | |
| parent | 7f5967234c1bcd4a93252d8606bf0f5a647c7dfa (diff) | |
Merge pull request #1530 from emersion/unmap-destroy-popups
xdg-shell: destroy child popups on unmap
Diffstat (limited to 'include/backend/drm')
0 files changed, 0 insertions, 0 deletions