diff options
| author | Drew DeVault <sir@cmpwn.com> | 2018-12-04 18:20:21 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-04 18:20:21 -0500 |
| commit | bf66e299730540331e521a4d923f763ec9108cab (patch) | |
| tree | a744ce8359388b69fc156d96575beafc761c5e08 /include/util | |
| parent | 4fadde362fbda2558c9d92944966825c99949e84 (diff) | |
| parent | 5515faa197c40c6b4bc853df14a8da9f1f3f1b80 (diff) | |
Merge pull request #1410 from emersion/xdg-surface-destroy
xdg-shell: emit xdg_surface destroy when role object is destroyed
Diffstat (limited to 'include/util')
0 files changed, 0 insertions, 0 deletions