diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-04-11 19:56:07 +0200 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-04-11 19:57:36 +0200 |
| commit | f2ab2466ed0dd123a903eb8731595abdcf0d77e4 (patch) | |
| tree | bb11b94ca3e4f880b966ad1f64487c781f6f6749 /src/managers/AnimationManager.cpp | |
| parent | a8e872923045eddd314bc26553401a6eb17c57cc (diff) | |
respect window.isMapped in getWindowsOnWorkspace
Diffstat (limited to 'src/managers/AnimationManager.cpp')
0 files changed, 0 insertions, 0 deletions