diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-08-23 23:15:04 +0200 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-08-23 23:15:04 +0200 |
| commit | fba7ed97fbb3dfe7c2a9ac45ceef2243624eaa04 (patch) | |
| tree | 39e92712312efe4d33f70bf40836fcb2fe6dd865 /src/managers | |
| parent | fd70a9184bf9ae26b5cd831620a46dc039dad5d8 (diff) | |
don't refocus if candidate is last window
Diffstat (limited to 'src/managers')
0 files changed, 0 insertions, 0 deletions