diff options
| author | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-10-22 16:45:33 +0100 |
|---|---|---|
| committer | vaxerski <43317083+vaxerski@users.noreply.github.com> | 2022-10-22 16:45:33 +0100 |
| commit | 44cee0f5f84caf093871ccbc74778c9497ac8bbd (patch) | |
| tree | 1b224b9251e6a4d091831f3d8e133ef0892dabd4 /src/helpers/Monitor.cpp | |
| parent | 2c714eace5bc903e5e9ef9e2c3048cb65a2ca9b4 (diff) | |
more safety for focus requests
Diffstat (limited to 'src/helpers/Monitor.cpp')
0 files changed, 0 insertions, 0 deletions