diff options
| author | Tony Crisci <tony@dubstepdish.com> | 2018-03-25 11:04:37 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-25 11:04:37 -0400 |
| commit | 5617a595981a10ec2e7d5d4808b3201bcf35f44e (patch) | |
| tree | a6bd2d6479b593e10ded21caf942f373d478a3fa /include/wlr/backend/session | |
| parent | 80d3561d325335e92b196f7cb5797eea9d71d17d (diff) | |
| parent | 731ee240899da70313412d7792946418ee663f15 (diff) | |
Merge pull request #741 from emersion/unmapped-surface-destroy
xdg-shell, xdg-shell-v6: don't emit unmap if surface is unmapped
Diffstat (limited to 'include/wlr/backend/session')
0 files changed, 0 insertions, 0 deletions