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 /backend/headless | |
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 'backend/headless')
0 files changed, 0 insertions, 0 deletions