diff options
author | Roman Gilg <subdiff@gmail.com> | 2021-11-14 18:37:36 +0100 |
---|---|---|
committer | Roman Gilg <subdiff@gmail.com> | 2021-11-15 12:49:26 +0100 |
commit | 8274c85d21df4c790b46666f4383731c89352480 (patch) | |
tree | 2c331c9ed2484bc73925f6068459b11c1387d6f2 /xwayland/selection | |
parent | 4a8e681a5fa82d59544fbdb8026f1606c41504e2 (diff) |
backend/headless: unlink input device on destroy
Removing an input device requires unlinking it from the list of all headless
input devices. For that implement a destroy function.
Diffstat (limited to 'xwayland/selection')
0 files changed, 0 insertions, 0 deletions