diff options
| author | Vaxry <43317083+vaxerski@users.noreply.github.com> | 2022-10-08 12:00:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-08 12:00:17 +0100 |
| commit | fe4a97f2450f9ebb916bf62502fd46470f7735dd (patch) | |
| tree | 64164796a13ea496fc5a72ceb41d67b719ac7831 /src/managers/KeybindManager.cpp | |
| parent | 1964bcb13f770b8344510549aa9924fe908bac60 (diff) | |
| parent | 2f3528c07669c474bcaca4d459b28ef2a8899080 (diff) | |
Merge pull request #794 from Dickby/pixman_early_outs
Check earlier if pixman_region is empty in some places.
Diffstat (limited to 'src/managers/KeybindManager.cpp')
0 files changed, 0 insertions, 0 deletions