diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-02-03 21:21:14 +0000 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-02-03 21:21:19 +0000 |
| commit | fcf1bafb098c8f756550195269dcd95202124277 (patch) | |
| tree | 778ce9eacff0dd3173217426850fa9ad1c1db345 /src/managers/input | |
| parent | 668842124067f9b6513edf1c28478bec12d709a0 (diff) | |
conform to unmanaged X11 activate requests
Diffstat (limited to 'src/managers/input')
0 files changed, 0 insertions, 0 deletions