diff options
| author | Guido Cella <guido@guidocella.xyz> | 2020-12-20 15:19:34 +0100 |
|---|---|---|
| committer | Guido Cella <guido@guidocella.xyz> | 2020-12-20 15:46:31 +0100 |
| commit | a571ea465c545f662c4bc9899a31150e045074d0 (patch) | |
| tree | 873e58c14e86d075dd7b0707cf04cb6104106364 /.gitignore | |
| parent | 39946e07f2b2ac09cfa622668585f2223fc277d4 (diff) | |
replace shouldfocusclients with checking old
And don't activate clients while an overlay is focused.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions