diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-09-22 23:36:28 +0100 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-09-22 23:36:28 +0100 |
| commit | 9f68aa33eaa6fc353264debfda51c13f861240fd (patch) | |
| tree | 100b8be911abb7ea78fc3894a1d913101fead517 /src/managers/input | |
| parent | ea45bfb63c5a1196a7f1fc2996d01ca2f899ca6f (diff) | |
renderer: damage monitor on special workspace change
fixes #3396
Diffstat (limited to 'src/managers/input')
0 files changed, 0 insertions, 0 deletions