diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-10-29 12:24:44 +0100 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-10-29 12:24:44 +0100 |
| commit | 05f3eebd968455752eb95cee373bbf2d9a71deae (patch) | |
| tree | dbdeb9a1a0a05da1f668220035ab63a4e26206e2 /src/managers/input | |
| parent | 74d05d0adc14d920aa780b2ca2a51c9ca14fadd7 (diff) | |
avoid layout changes when unnecessary in applyMonitorRule
Diffstat (limited to 'src/managers/input')
0 files changed, 0 insertions, 0 deletions