diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-10-05 01:31:13 +0100 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2023-10-05 01:31:13 +0100 |
| commit | 3d1a1679604e9de18a46a9a0819daf2044b08fa6 (patch) | |
| tree | 62a8ba5ff21610f9326b23e88861158ec545c638 /src/managers/AnimationManager.cpp | |
| parent | 1b99a69dc11c3c8266559c3c20b2f4dac6621dcc (diff) | |
wsrules: check for workspace ID matches on numbered workspaces
fixes #3494
Diffstat (limited to 'src/managers/AnimationManager.cpp')
0 files changed, 0 insertions, 0 deletions